Welcome

portrait I am currently a postdoc researcher at TU Wien, Austria, in the Security & Privacy research unit. I am primarily interested in the formal verification of safety and security properties on Web browser specification. This projet is founded by the ERC grant Foundations and Tools for Client-Side Web Security.

I did my PhD thesis intitled Decision Procedures for Vulnerability Analysis at CEA LIST, in the Software Safety & Security Lab, under the direction of Marie-Laure Potet and the supervision of Sébastien Bardin. This work was part of the BINSEC project.

Contact

firstname.lastname@tuwien.ac.at

Publication

International Conferences

Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing, with Robin David, Sébastien Bardin and Matthieu Lemerre, LPAR 2018, Awassa, Ethiopia
Model Generation for Quantified Formulas: A Taint-Based Approach, with Sébastien Bardin, Richard Bonichon and Marie-Laure Potet, CAV 2018, Oxford, UK

French Workshops

En finir avec les faux positifs grâce à l’exécution symbolique robuste, with Sébastien Bardin, Richard Bonichon and Marie-Laure Potet, JFLA 2019, Les Rousses, France.
Génération de modèles pour les formules quantifiées : une approche basée sur la teinte, with Sébastien Bardin, Richard Bonichon and Marie-Laure Potet, AFADL 2018, Grenoble, France.
Simplification efficace pour la théorie des tableaux, with Robin David and Sébastien Bardin, JFLA 2018, Banyuls-sur-Mer, France.

Talks

Workshop on Formal Methods for Security, March 2019, Paris, France.
Next Challenges in Constraint Solving, February 2019, Dagstuhl, Germany.
Model Generation for Quantified Formulas, May 2018, LSL seminar, Paris, France.
Efficient Simplification for the Array Theory, April 2018, ANR Soprano meeting, Paris, France.
Model Generation for Quantified Formulas, Mars 2018, Verimag seminar, Grenoble, France.

Teaching

2018 - 2019, at Paris Saclay University

Advanced Functional Programming, Licence 3, 24h
Computer Security, Licence 3, 24h
Graph and Logic, Licence 2, 24h
Initiation to Functional Programming, Licence 2, 18h

2017 - 2018, at Paris Diderot University

Database, Licence 2, 36h
Initiation to Java and Python, Licence 1, 24h

2016 - 2017, at Paris Diderot University

Programming Project, Licence 2, 12h
Concepts in Computer Science, Licence 1, 24h
Initiation to Java and Python, Licence 1, 24h