Founded in 1997, the Laboratoire Spécification et Vérification (LSV) is the Computer Science laboratory of ENS Paris-Saclay, and is also affiliated to the French Centre National de la Recherche Scientifique (CNRS) as UMR 8643. Research at LSV is focused on the verification of critical software and systems, as well as on the verification of computer system security.
The International Cybersecurity Forum is the main European event on digital trust. On behalf of the CNRS participation, Caroline Fontaine will give a Master Class on Fully Homomorphic Encryption - Implementation Progresses and Challenges.
Benedikt Bollig, Marie Fortin, and Paul Gastin received the Best Paper Award at CONCUR 2018 for their paper It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before".
Sylvain Schmitz has been nominated Junior Member of the Institut Universitaire de France. During his five-year membership term, he will pursue a project on the verification of resource-centric systems.
Alain Finkel and Philippe Schnoebelen receive the 2017 CAV Award, jointly with the Swedish researchers Parosh Abdulla and Bengt Jonsson, for their contributions to the verification of infinite-state systems. The CAV award is given anually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification. Notices of the American Mathematical Society features the award in its January 2018 issue (Notices Amer. Math. Soc. 2018:65(1) Mathematics People, page 50)
There are several open positions for students interested in the research topics investigated at LSV, including the following funded PhD and postdoc openings:
Visit the corresponding web page Register to the RSS feed of LSV publications
• | . Transistor-Level Analysis of Dynamic Delay Models. In ASYNC'19. IEEE Computer Society, May 2019. To appear. ( BibTeX ) |
• | . Identifiers in Registers - Describing Network Algorithms with Logic. In FoSSaCS'19, LNCS. Springer, April 2019. To appear. ( Web page | PDF | BibTeX ) |
• | . Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete, Preprint, 2019. ( Web page | BibTeX ) |
Export in vCard format | Access information
Former LSV PhD student Amina Doumane will receive the 2018 Ackermann Award for her dissertation On the infinitary proof theory of logics with fixed points prepared at IRIF and LSV. The Ackermann Award is the European Association for Computer Science Logic (EACSL) Outstanding Dissertation Award for Logic in Computer Science. It will be presented during the annual conference of the EACSL (CSL'18) to be held this year in Birmingham, UK.
Lucca Hirschi received the dissertation award of the CNRS group Sécurité Informatique for his thesis Automated Verification of Privacy in Security Protocols: Back and Forth Between Theory & Practice prepared at LSV.
Benedikt Bollig, Marie Fortin, and Paul Gastin received the Best Paper Award at CONCUR 2018 for their paper It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before".