http://c25o7knygjm3m67jy27yuynvv4pkfi25naucscmh4ubq2ggiig3v57ad.onion/en/
My thesis was on Software Fault Isolation. Publications Authors listed in alphabetic order. Debootstrapping without Archeology: Stacked Implementations in Camlboot Nathanaëlle Courant , Julien Lepiller , and Gabriel Scherer The Art, Science, and Engineering of Programming février 2022 Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities Julien Lepiller , Ruzica Piskac , Martin Schäf , and Mark Santolucito TACAS 2021 Extended version Verifying Software Fault...