Julien Lepiller
/ʒy.ljɛ̃ lø.pi.lɛʁ/
gpg : 0x53D457B2D636EE82
Je suis ingénieur évaluateur sécurité chez Thales à Toulouse.
J'ai fait partie du groupe de recherche Rose à Yale aux États-Unis où j'ai travaillé sur la vérification de configuration pour la sécurité. J'ai fait ma thèse dans l’équipe Celtique à Inria Rennes en France sous la supervision de Thomas Jensen et Frédéric Besson. Ma thèse portait sur l'isolation de fautes logicielle.
Publications
Les auteurs sont listés dans l'ordre alphabétique.
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
Modular Software Fault Isolation as Abstract Interpretation
Frédéric Besson, Thomas Jensen, and Julien Lepiller
Static Analysis. SAS 2018. The final authenticated publication is available online at: https://doi.org/10.1007/978-3-319-99725-4_12
Lightweight Privacy-Preserving Averaging for the Internet of Things
Tristan Allard, Davide Frey, George Giakkoupis, Julien Lepiller
3rd Workshop on Middleware for Context-Aware Applications in the IoT, , Trento, Italy.
Logiciels
Voici quelques projets personnels qui me tiennent particulièrement à cœur.
L'outil lié au papier sur les « Intra-update Sniping Vulnerabilities ». Ces vulnérabilités arrivent quand on utilise des outils de gestion d'infrastructure. Même si on spécifie bien l'état de départ et d'arrivée, il y a des états intermédiaires dans lesquels l'infrastructure peut être vulnérable. Cet outil vérifie les déploiements et vous alerte si une telle vulnérabilité est possible.
Un fork du greffon coquille original, amélioré et porté sur neovim. Faites vos preuves coq dans neovim ! Ce fork de coquille support coq 8:6, à 8.10. Il utilise le parallélisme supporté dans neovim pour permettre d'annuler une évaluation, analyse votre _CoqProject pour charger coq avec les bibliothèques que vous utilisez et prend en charge plusieurs sessions coq dans la même session neovim.
Un outil pour les traducteurs : importez vous projets de traduction, traduisez et envoyez vos constributions de la manière préférée en amont. Offlate se connecte aux plateformes de traduction en ligne et récupère le travail dessus. Ensuite, il vous permet de traduire hors ligne, avec l'outil intégré ou votre outil favoris pour la tâche. Pour chaque plateforme, il sait comment récupérer et envoyer votre travail et peut rester synchronisé. Il enregistre aussi les informations de connexion et la configuration pour chaque plateforme et vous dit comment les récupérer.