Recent talks

Display all talks

2012

2012/11/26Yubisecure? Formal Security Analysis Results for the Yubikey and YubiHSMDagstuhl Seminar Analysis of Security APIs (Dagstuhl, Germany)
2012/09/14Yubisecure? Formal Security Analysis Results for the Yubikey and YubiHSM8th International Workshop on Security and Trust Management (STM 2012) (Pisa, Italy)
2012/09/07Yubisecure? Formal Security Analysis Results for the Yubikey and YubiHSMGroupe de travail PROSECCO (Paris)
2012/07/17A Survey on Protocol Verification and Security APIsReading group at the Institute of Information Security, ETH Zürich (Zürich)
2012/06/28A Survey on Protocol Verification and Security APIs6th International Workshop on Analysis of Security APIs (Harvard University, Cambridge MA, USA)
2012/05/31A Survey on Protocol Verification and Security APIsGroupe de travail SECSI (Cachan)
2012/04/27A Survey on Protocol Verification and Security APIsGroupe de travail PROSECCO (Paris)
2012/03/16Universally Composable Key-management2012 Grande Region Security and Reliability Day (Nancy)
2012/03/09Universally Composable Key-managementJournée PROSECCO (Paris)

2011

2011/12/08Universally Composable Key-managementGroupe de travail SECSI (Cachan)
2011/06/08Secure APIs and Simulation- based SecuritySéminaire du LSV (Pierrefonds)

2010

2010/11/04Game-theoretic Notions of IncoercibilityGroupe de travail SECSI (Cachan)

About LSV