Laboratoire Spécification et Vérification

Fondé en 1997, le Laboratoire Spécification et Vérification (LSV) est le laboratoire d'informatique de l'ENS de Cachan, et est aussi affilié au Centre National de la Recherche Scientifique (CNRS) en tant qu'UMR 8643. La recherche au LSV est centrée sur la vérification de logiciels et systèmes critiques, et sur la vérification de la sécurité des systèmes informatiques.

À la une

Alain Finkel et Philippe Schnoebelen reçoivent le CAV Award

Visiter le site web pour cet événement

Alain Finkel and Philippe Schnoebelen receive CAV Award

Alain Finkel et Philippe Schnoebelen reçoivent à Heidelberg le Prix 2017 CAV Award, conjointement avec Parosh Abdulla et Bengt Jonsson (University of Uppsala, Suède), pour leur contributions à la vérification des systemès infinis. Le prix récompense annuellement des contributions fondamentales au domaine de la vérification assistée par ordinateur.


Prochain séminaire

Quantitative Algebraic Reasoning

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

SEM Radu Mardare
Date
Le mardi 24 octobre 2017 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Radu Mardare (Aalborg University)


Actualités

Hubert Comon membre senior de l'IUF

Visiter le site web pour cet événement

Hubert Comon named Senior Member of Institut Universitaire de France

Hubert Comon est nommé membre senior de l'Institut universitaire de France à compter du 1er octobre 2016 pour une durée de 5 ans. Il mettra en oeuvre un projet de recherche sur les methodes formelles pour la sécurité informatique.


Un ancien du LSV casse l'algorithme cryptographique SHA1

Visiter le site web pour cet événement

Elie Bursztein, ancien doctorant du LSV sous la direction de Jean Goubault-Larrecq, et à la tête de l'"anti-abuse research team" chez Google, Inc., à Mountain View, CA, USA, vient de démontrer une faille majeure dans l'algorithme cryptographique SHA1, dans un travail commun entre son équipe et le CWI d'Amsterdam. Cette attaque, produite par une combinaison de techniques récentes de cryptanalyse exécutées sur des clusters de CPU et des clusters de GPU chez Google, permet de produire des documents contrefaits.

Elle a des conséquences importantes du fait que SHA1 est utilisé couramment pour la sécurisation des sites Web et notamment des sites marchands (SSL/TLS), du courrier électronique (PGP/GPG), des systèmes de sauvegarde sécurisés, ou dans des outils courants comme Git. Son coût, estimé à seulement 110 000 dollars, la rend accessible en pratique.

Les détails concernant cette attaque sont disponibles sur le site de la collaboration: shattered.io.


Propositions de thèses et post-doctorats au LSV

Voir les propositions de stage

Les candidatures en thèse dans les thématiques du LSV sont bienvenues. Nous proposons en particulier des thèses et des post-doctorats financés :

Publications Récentes

Visiter le site web associé S'abonner au flux RSS des publications du LSV

S. Demri, A. Dhar and A. SangnierEquivalence Between Model-Checking Flat Counter Systems and Presburger ArithmeticTheoretical Computer Science, 2017. Special issue of RP'14, to appear. PDF | BibTeX )
V. Cortier, A. Dallon and S. DelauneA typing result for trace inclusion (for pair and symmetric encryption only).  Research Report hal-01615265, HAL, October 2017. Web page | PDF | BibTeX )
A. FinkelL'analyse cognitive, la psychologie numérique et la formation des enseignants à l'universitéPratiques Psychologiques 23(3), pages 303-323, 2017. Web page | PDF | BibTeX )

À propos du LSV

Contacter le LSV

Exporter l'adresse au format vCard | Informations d'accès

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

Informations d'accès

Agenda

Exporter l'agenda au format iCalendar | Page des séminaires du LSV

mar. 24 octobre
mar. 7 novembre
mar. 14 novembre
mar. 21 novembre
mar. 12 décembre

Distinctions

Alain Finkel et Philippe Schnoebelen reçoivent le CAV Award

Visiter le site web pour cet événement

Alain Finkel and Philippe Schnoebelen receive CAV Award

Alain Finkel et Philippe Schnoebelen reçoivent à Heidelberg le Prix 2017 CAV Award, conjointement avec Parosh Abdulla et Bengt Jonsson (University of Uppsala, Suède), pour leur contributions à la vérification des systemès infinis. Le prix récompense annuellement des contributions fondamentales au domaine de la vérification assistée par ordinateur.