Conferences

• Ramtine Tofighi-Shirazi, Maria Christofi, Philippe Elbaz-Vincent, and Thanh-ha Le, DoSE: Deobfuscation based on Semantic Equivalence,
  Software Security, Protection, and Reverse Engineering Workshop (SSPREW-8),San Juan, PR, USA. ACM, New York, NY, USA, 12 pages, December 3–4, 2018
• Marie-Laure Potet and Lionel Morel, Tools and Benchmark for robustness code evaluation against fault injection,
  Injection de fautes : attaques physiques, protections logicielles et mécanismes d'évaluation de la robustesse, Paris, May 2018
• Lionel Morel, Marie-Laure Potet, Damien Couroussé, Laurent Mounier and Laurent Maingault, Towards Fault Analysis of Firmware Updaters,
  Injection de fautes : attaques physiques, protections logicielles et mécanismes d'évaluation de la robustesse, Paris, May 2018
• Benjamin Farinier, Sébastien Bardin, Richard Bonichon and Marie-Laure Potet, Model Generation for Quantified Formulas: A Taint-Based Approach,
  30th International Conference on Computer Aided Verification (CAV 18) , July 2018

Publications

• Nicolas Belleville, Damien Couroussé, Karine Heydemann, Henri-Pierre Charles, Automated Software Protection for the Masses Against Side-Channel Attacks,
  ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2018, 15 (4), pp.47:1--47:27
• Cyril Bresch, David Hély, Athanasios Papadimitriou, Stack Redundancy to Thwart Return Oriented Programming in Embedded Systems,
  IEEE Embedded Systems Letters, Volume 10, Issue 3, September 2018
• Jonathan Salwan, Sebastien Bardin and Marie-Laure Potet, Binary Deobfuscation and Dynamic Symbolic Execution,
  DIMVA'18, 15th Conference on Detection of Intrusions and Malware & Vulnerability Assessment, June 2018