Publications and conferences
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
- Research Topics
- Cost-effective IoT/Hardware protections
- Cryptography
- Cybersecurity and AI
- Cybersecurity and Privacy
- Education and awareness
- Internet-wide measurements
- Prevention & Reaction to attacks
- Resilient critical infrastructures for Factory 4.0
- Social Impact & Regulation
- Software vulnerabilities