Resources: Automated Reasoning
Empowering women to succeed in the cybersecurity industry
CTF - Capture the Flag
To analyze ARM architecture
Windows from scratch
- Windows Internals
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.
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).