Research at LSV

Research at LSV focuses on the verification of computerized systems, of databases and of security protocols. LSV develops the mathematical and algorithmic foundations to the development of tools for automatically proving correctness and detecting flaws.

Internship Proposals at LSV

Go to the internships page

Internship and PhD proposals are regularly posted by LSV researchers on our themes.

Research axes

About LSV


Internship opportunities

the scientific report for the 5-year contract 2014--2018 [in French]

the LSV book: LSV bookSystems and Software Verification. Model-Checking Techniques and Tools

Recent Publications

All the LSV publications

L. HirschiAutomated Verification of Privacy in Security Protocols: Back and Forth Between Theory & Practice.  Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan, France, April 2017. PDF | BibTeX )
C. Aiswarya, B. Bollig and P. GastinAn Automata-Theoretic Approach to the Verification of Distributed AlgorithmsInformation and Computation, 2017. To appear. PDF | BibTeX )
D. StanRandomized Strategies in Concurrent Games.  Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan, France, March 2017. Web page | PDF | BibTeX )
L. Segoufin and A. VignyConstant Delay Enumeration for FO Queries over Databases with Local Bounded ExpansionIn ICDT'17, Leibniz International Proceedings in Informatics 68, pages 20:1-20:16. Leibniz-Zentrum für Informatik, March 2017. Web page | PDF | BibTeX )
H. Comon and A. KoutsosFormal Computational Unlinkability Proofs of RFID ProtocolsIn CSF'17. IEEE Computer Society Press, August 2017. To appear. PDF | BibTeX )

All the LSV publications