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.

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.