LIX - Ecole PolytechniqueClement Sartori


Contact informations :

Laboratoire d'Informatique (LIX)
École Polytechnique
91128 Palaiseau Cedex - France
Email : Clement Sartori[\{a_t}\]lix.polytechnique.fr



Research :

I am a PhD student in Computer Science; my supervisors are Benjamin Werner and Pierre-Yves Strub.
I'm working on the secure compilation and verification of cryptographic primitives, working with (and on) softwares such as Coq, Jasmin, EasyCrypt and CryptoVerif.


Tous les documents fournis le sont sous la responsabilité de leurs auteurs, et ne représentent pas nécessairement les positions officielles de l'École polytechnique. Les informations données le sont de bonne foi, mais leur véracité ne saurait être garantie.