Tayssir TOUILI

• I am a senior CNRS researcher (Directrice de Recherche) in IRIF.

• Address: IRIF, Université Paris Cité, Bâtiment Sophie Germain, Case courrier 7014, 8 Place Aurélie Nemours, 75205 Paris Cedex 13

• Office: 4028a

• Phone: (+33) 1 57 27 92 61

• E-Mail: touili@irif.fr

  PLEASE NOTE: NEW EMAIL ADDRESS

  NEW: A PhD scholarship in Computer Science in Paris: Model Checking for Malware (Virus) Detection

Research Interests:

An interview for France Culture.

• NEW: SMODIC: a Model Checker for Self-Modifying Code

• NEW: STAMAD: a Malware Detector for PC Malware

• NEW: MADLIRA: a Malware Detector for Android

• PoMMaDe: A Model-checker for Malware Detection

• PuMoC: A CTL Model-Checker For Sequential Programs

• ♠ SPADE: Verification of Multithreaded Dynamic and Recursive Programs

• PRESS: A model checker for multithreaded programs modeled by Process Rewrite Systems

• MAGIC: A model checker for concurrent C-programs

Publications:

Events:

• Co-chair of CAV 2010


• Co-chair of VECOS 2011


• Workshop co-chair of FM 2012


• PC member of: MALCON (MALWARE) 2018, ForSE 2018, VECOS 2018, MALCON (MALWARE) 2017, ForSE 2017, VECOS 2017, VECOS 2016, CAV 2015, PLDI 2015, SynCoP 2015, FSEN 2015, VECOS 2015, RP 2014, iFM 2014, AVoCS 2014, VMCAI 2014, POPL 2014, VECOS 2014, FSEN 2013, VECOS 2013, AVoCS 2012, SPIN 2012, VECOS 2012, LATA 2012, VECOS 2012, CAV 2011, GandALF 2011, VECOS 2011 (co-chair), CAV 2010 (co-chair), TACAS 2010,POPL 2010, VECOS 2010,CAV 2009,INFINITY 2009, VECOS 2009,MEMICS 2008, VMCAI 2008, VECOS 2008, VMCAI 2007, ICTAC 2006.