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.


Prochains séminaires

Generalized Goodstein sequences

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

SEM Andreas Weiermann
Date
Le lundi 27 novembre 2017 à 11:00
Lieu
Salle Renaudeau (Bâtiment Laplace)
Orateur
Andreas Weiermann (Ghent University)


On polynomial time for infinite sets

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

SEM Mikołaj Bojańczyk
Date
Le mardi 28 novembre 2017 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Mikołaj Bojańczyk (University of Warsaw)


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

J. Goubault-LarrecqA Non-Hausdorff Minimax TheoremMinimax Theory and its Applications 3(1), 2017. To appear. BibTeX )
M. Dzamonja, S. Schmitz and Ph. SchnoebelenOn the width of FAC orders, a somewhat rediscovered notion, Preprint, 2017. Web page | PDF | BibTeX )
P. BouyerGames on graphs with a public signal monitoring.  Research Report 1710.07163, Computing Research Repository, October 2017. 28 pages. 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

lun. 27 novembre
mar. 28 novembre
mar. 5 décembre
mar. 12 décembre
mar. 23 janvier
mar. 30 janvier

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.


Distinction de meilleur article jeune chercheur pour Engel Lefaucheux

Engel Lefaucheux a reçu la distinction de "meilleur article jeune chercheur" à la confénce MSR 2017 tenue à Marseille le 15 - 17 novembre 2017