Resources: Automated Reasoning
Deductive reasoning in practice
Practical examples of software obfuscation
Resources: Cybersecurity
Cryptography
Careers informations
Empowering women to succeed in the cybersecurity industry
CTF - Capture the Flag
To start
Advanced
To analyze ARM architecture
Resources
Table of contents
Resources: References
Activities
Service External reviewer for DATE 2022, CHES 2018 Presentations Opacity properties and SMT solvers
Poster session - SecDays Workshop, Rennes, France, January 2019
Opacity properties and SMT solvers
Presentation at the 1st Workshop Protection du code et des données, obfuscation & whitebox cryptography, Paris-Saclay, France, December 2018
Other SMT benchmarks with opaque predicates for the SMT-COMP
Joint work with Olivier DECOURBE, Rennes, France, January 2019
[Read More]
Publications
2020
To refine symbolic and concrete deobfuscation of programs protected by opaque predicates, Gonzalvez, A. (2020, June), ((French)Doctoral dissertation, Ecole nationale supérieure Mines-Télécom Atlantique), Rennes, France.
2019
A case against indirect jumps for secure programs., Gonzalvez, A. & Lashermes, R. (2019, December). In Proceedings of the 9th Workshop on Software Security, Protection, and Reverse Engineering, San Juan, Puerto Rico, USA (SSPREW'9 co-located with ACSAC19).