https://www.xavierogay.ch/https://www.xavierogay.ch/projects/acme/https://www.xavierogay.ch/projects/automutate/https://www.xavierogay.ch/projects/bachelor-thesis-deocclusion/https://www.xavierogay.ch/projects/hardware-security/https://www.xavierogay.ch/projects/symbolic-llvm-sandboxing/https://www.xavierogay.ch/writeups/https://www.xavierogay.ch/writeups/practical-binary-analysis-ch1/