Guidelines in Academic papers

1. Effective visualisation of Data
2. How to write a paper that looks like a good one?
3. How to write clear and concise sentences?

Deductive reasoning in practice

1. Reverse engineering - Software
2. Reverse engineering - Hardware

Practical examples of software obfuscation

1. Hiding messages in x86
2. Tigress - State of the art for software obfuscation
3. To build a polymorphic shell code
4. A beginner guide

Cryptography

1. Intense Introduction

Careers informations

1. Security Certification Roadmap

Empowering women to succeed in the cybersecurity industry

1. Workhop - WISC
2. Black Hoodies
3. Women’s Cyberjutsu

CTF - Capture the Flag

To start

1. CTF Learn
2. 247 CTF
3. Crypto Hack
4. Cyver soc

Advanced

1. Root-me
2. Hacker-one
3. TryHackMe

To analyze ARM architecture

• Azeria-labs

Starter Packs

• Awesome reversing

Malware analysis

• Malware Unicorn

Table of contents

1. Academic
2. Cybersecurity activities
3. Automated reasoning
4. Documents references

Windows from scratch

1. Windows Internals

Programming

1. Regular expressions

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]

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).