Onion Information

Page Clicks: 0

First Seen: 03/12/2024

Last Indexed: 10/22/2024

Domain Index Total: 29

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 Vérification d'isolation de fautes logicielle Julien Lepiller Thèse de doctorat , décembre 2019 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, Dec 2016 , Trento, Italy. Logiciels Voici quelques projets personnels qui me tiennent particulièrement à cœur. Häyhä 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. Coquille for Neovim 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. Offlate 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.