Research
topics
My research activities are concerned with modeling and validation
techniques for (concurrent) systems and softwares.
My recent research activities on software
security are now described here.
Previsouly , I worked on the following topics:
- Security Testing and Vulnerability
Analysis
- binary-level code analysis
- smart fuzzing
- Verification techniques
- state-space exploration (model-checking, behavioural
equivalences)
- compositionnal state space generation
- run-time verification (monitoring, property enforcement)
- Model-based testing
- conformance testing (automatic test case generation)
- robustness testing
- security testing, software vulnerabilty detection (smart
fuzzing)
- Modeling and Analysis of
Wireless Sensor Networks
- abstraction techniques for design space exploration
- verification of non-functionnal properties
Upcoming conferences:
Contribution
to
existing validation tools
Main
Research
Projects
Current
projects:
- BinSec (ANR,
2013-2017), Binary code analysis for security
- ARESA2 (ANR RNRT,
2009-2013), Towards secure,
self-organizing, energy-efficient, internet-connected
wireless sensor networks
Last main projects:
- Vulcain (MSTIC UJF,
2009-2010), detection of
software vulnerabilities
- ARESA (ANR
RNRT, 2006-2009), wireless
sensor networks design
- Politess (ANR
RNRT, 2005-08): deployement
and validation of security policies
- Potestat (ACI
Sécurité Informatique, 2004-2007): testing security policies
- Agedis (EU IST
Project, 200-2003): model-based
testing of Java applications
- Interval (EU IST
Project 2000-2002): timed
extensions for SDL and MSC
Students
PhD
students:
- Josselin Feist [2014-17]: detection and exploitability
analysis of use-after-free vulnerabilities (with M.L.
Potet)
- Ozgun Pinarer [2013-15]: simulation-based
evaluation of energy consumption in WSNs (with F.
Maraninchi)
- Sofia Bekrar [2010-13]: smart
fuzzing for the detection and analysis of software
vulnerabilities (with R. Groz)
- Emmanuel Sifakis [2009-13]: design and analysis of multi-threaded shared-memory
applications (with S. Bensalem)
- Laurie Lugrin [2009-10]: formal
verification
of energy-related properties (with F. Maraninchi)
- Nicolas Berthier [2008-11]: power-aware system design (with F.
Maraninchi)
- Yliès Falcone [2007-09]: test
and
run-time monitoring (with J.C. Fernandez and J.L.
Richier [LIG/Vasco])
- Ludovic Samper [2004-08]: modeling and simulation of wireless sensor networks
(with F. Maraninchi)
- Cyril Pachon [2001-05]: robustness
testing (with J.C. Fernandez)
- Jean-Pierre Krimm [1997-2000]: compositional state space generation (with
J. Sifakis)
Master students:
- Adnan Bal [2014] (with Y. Falcone)
- Josselin Feist [2013] (with M.L. Potet)
- Ozgun Pinarer [2012] (with F. Maraninchi)
- Dumitru Ceara [2010] (with M.L. Potet)
- Laurie Lugrin [2009] (with F. Maraninchi)
- Jean Quilbeuf [2009] (with M. Bozga and J. Sifakis)
- Bilal Kanso [2008] (with R. Groz [LIG/Vasco])
- Fabé Daouda [2008] (with S. Bensalem)
- Wassim Zneidi [2007]
- Mohamed Abdelmouhla [2006] (with R. Groz [LIG/Vasco])
- Judex Mboulou Ndiaye [2005] (with S. Bensalem)
- Jacques-Ange Albertini [2004]
- Jean-Pierre Krimm [1999]