Lightweight Privacy-Preserving Averaging for the Internet of Things. - Tristan Allard; Davide Frey; George Giakkoupis; Julien Lepiller (M4IoT@Middleware, 2016)

Modular Software Fault Isolation as Abstract Interpretation. - Frédéric Besson; Thomas P. Jensen; Julien Lepiller (SAS, 2018)

Verifying Software Fault Isolation. (Vérification d'isolation de fautes logicielle). - Julien Lepiller (2019)

Programming with Petri Nets to Reason about Concurrency. - Julien Lepiller (Scheme@ICFP, 2020)

Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities. - Julien Lepiller; Ruzica Piskac; Martin Schäf; Mark Santolucito (TACAS (2), 2021)

Debootstrapping without Archeology - Stacked Implementations in Camlboot. - Nathanaëlle Courant; Julien Lepiller; Gabriel Scherer (Art Sci. Eng. Program., 2022)