Laboratoire Spécification et Vérification

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.

The paper Constructive Completeness for the Linear-Time Mu-Calculus by Amina Doumane receives the Kleene Award for the Best Student Paper at the LICS 2017 conference held in Reykjavik.

Date

Tuesday, October 24 2017 at 11:00AM

Place

Salle de Conférence (Pavillon des Jardins)

Speaker

Radu Mardare (Aalborg University)

Professor Hubert Comon is named Senior Member of the Institut Universitaire de France. During his five-year membership term, he will pursue a project on Computer Security and Formal Methods.

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.

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

• Effective concurrent infinite state systems (PhD student)
• Model Checking Well Structured Transition Systems (PhD student)
• Well Structured FIFO Automata (PhD student)