We open a PhD position at the intersection of software technology and security!
You will investigate new techniques to increase the security of software supply chain and mitigate the threat of Trusting Trust attacks . In particular you will generate millions of code variants [2,3,4] by harnessing the natural diversity of compilers, to bootstrap a secure build pipeline.
-  Reflections on trusting trust. Ken Thompson. Turing Award lecture, 1984.
- E unibus pluram: massive-scale software diversity as a defense mechanism. Michael Franz NSPW 2010: 7-16
- Tailored source code transformations to synthesize computationally diverse program variants(Benoit Baudry, Simon Allier, Martin Monperrus, In Proc. of the Int. Symp. on Software Testing and Analysis (ISSTA), 2014
- CROW: Code Diversification for WebAssembly.
Javier Cabrera Arteaga, Orestis Floros Malivitsis, Oscar Luis Vera Pérez, Benoit Baudry, Martin Monperrus. 2020.