Georges-Axel Jaloyan is a PhD student at École normale supérieure (ENS) in Paris under the supervision of Pr. David Naccache. His research interests range from formal methods to embedded systems security. After interning at NASA Langley, Galois Inc. and AdaCore, he is now working as part of his PhD on formal methods applied to reverse-engineering, in collaboration with the French Alternative Energies and Atomic Energy Commission (CEA).
He has been an visiting the Smart Card and Internet of Things Security Centre from January to March 2019, developing new shellcoding techniques for RISC-V, a brand new instruction set architecture targeting embedded systems.
Related Staff
