Laboratoire Spécification et Vérification

Founded in 1997, the Laboratoire Spécification et Vérification (LSV) is the Computer Science laboratory of ENS de Cachan, 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.

Highlights

UMI ReLaX Signature Ceremony

Visit website for this news

UMI ReLaX Signature Ceremony

The newly founded international research unit in Computer Science UMI ReLaX (Unité Mixte Internationale CNRS) has been officially launched on 13 November 2017 in Chennai. As a continuation of LIA Informel (Laboratoire International Associé), UMI ReLaX serves as a hub for cooperation in theoretical computer science between France and India around a consortium formed by CNRS, Université de Bordeaux - LaBRI, École Normale Supérieure Paris-Saclay - LSV, Chennai Mathematical Institute and the Institute of Mathematical Sciences.


Alain Finkel and Philippe Schnoebelen receive CAV Award

Visit website for this news

Alain Finkel and Philippe Schnoebelen receive CAV Award

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.


Next Seminar

Verification of quantum computation

Visit website for this news | Export event in iCalendar format

SEM Elham Kashefi
Date
Tuesday, December 19 2017 at 11:00AM
Place
Salle de Conférence (Pavillon des Jardins)
Speaker
Elham Kashefi (University of Edinburgh and LIP6)


News

HdR Defense: Sylvain Schmitz

Visit website for this news | Export event in iCalendar format

HdR Sylvain Schmitz

Algorithmic Complexity of Well-Quasi-Orders
Monday, November 27, 2017 at 2pm
Chemla Amphitheater, Alembert Institute, ENS Paris-Saclay


Former LSV student breaks the SHA1 cryptographic hash function

Visit website for this news

Elie Bursztein, a former PhD student under Jean Goubault-Larrecq, and head of the anti-abuse research team at Google, Inc., Mountain View, CA, USA, has just publicized a major breach into the SHA1 cryptographic hash function, in common work between his team and Amsterdam's CWI. That attack was produced by using a combination of recent cryptoanalysis techniques run on CPU clusters and GPU clusters at Google, and allows one to produce counterfeit documents.

This attack has devastating consequences. SHA1 is used routinely to make Web sites secure, notably merchant sites (SSL/TLS), as well as email (PGP/GPG), backup systems, and is also used in everyday tools such as Git. Its estimated cost of only 110 000 USD makes it tractable.

For details of the attack, see the group's site: shattered.io.


Open Positions

See the job openings

There are several open positions for students interested in the research topics investigated at LSV, including the following funded PhD and postdoc openings:

Recent publications

Visit the corresponding web page Register to the RSS feed of LSV publications

P. Gardy, P. Bouyer and N. MarkeyDependences in Strategy LogicIn STACS'18, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, February 2018. To appear. Web page | BibTeX )
M. Ganardi, D. König, M. Lohrey and G. ZetzscheKnapsack problems for wreath productsIn STACS'18, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, February 2018. To appear. Web page | BibTeX )
B. Bollig, M. Fortin and P. GastinCommunicating Finite-State Machines and Two-Variable LogicIn STACS'18, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, February 2018. To appear. Web page | BibTeX )

About LSV

LSV Contact Information

Export in vCard format | Access information

LSV photo
Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Phone
+33 1 47 40 75 20
Fax
+33 1 47 40 75 21

Access information

Agenda

Export agenda in iCalendar format | LSV seminars page

Tue, Dec 19
Tue, Jan 30

Awards

Alain Finkel and Philippe Schnoebelen receive CAV Award

Visit website for this news

Alain Finkel and Philippe Schnoebelen receive CAV Award

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.


Engel Lefaucheux receives MSR Best Student Paper Award

Engel Lefaucheux received the Best Student Paper Award at MSR 2017 held in Marseille, on 15 - 17 November2017.