Short presentation

Sébastien researches themes around the development and analysis of programs, from compilation and security to semantics and formal verification. He has an MSc in Theoretical Computer Science from the École Normale Supérieure de Lyon, and is currently a Ph.D. student at the LCIS lab. He’s working on integrating security countermeasures with the compilation process, unless he’s being distracted by funny-looking optimization techniques, in which case he’s not working.

Research activities

• Compilation toolchains, Hardware security, Fault injection, Formal semantics

FULL PUBLICATION LIST

• https://silent-tower.net/research/

Teaching activities

Practicals and a few classes in

• 2nd-year Algorithms and C programming;
• 2nd-year Recursive and functional programming (Haskell);
• 3rd-year Algorithms and C programming (up to a basic MIPS emulator).