Last update: 8 June 2018
The SoSySec seminar is held on Firdays at 11am in Inria Rennes - Bretagne Atlantique (access). It generally takes place in the Turing room of the convention center.
The seminars are open to all. To facilitate access to the seminar room, people not from INRIA or IRISA must register by providing their name and affiliation to Nadia Derouault (email@example.com) and present an ID at the front desk.
A mailing list for announcements about the seminar is available. To subscribe, simply send an email to with the subject .
Most of the talks are taped. The videos are accessible through INRIA's intranet (here) or DGA's intranet.
- 6 July 2018. Room Petri/Turing.
|Loic Ferreira (Orange Labs, IRISA)|
|How to decrypt without keys with GlobalPlatform SCP02 protocol|
Previous talks this year
- 8 June 2018. Room Amphi G (espace conférences).
|Vaishnavi Sundararajan (Chennai Mathematical Institute, India)|
|A theory of assertions for Dolev-Yao models|
- 30 March 2018. Room Métivier.
- 16 March 2018. Room Petri/Turing.
- 7 March 2018, Wednesday, 11h . Room Petri/Turing.
|Elena Pagnin (Chalmers University of Technology, Sweden)|
|Anonymous Server-Aided Verification|
|Ivan Gazeau (LORIA, Inria Nancy)|
|Automated verification of privacy-type properties for security protocols|
|Sam L. Thomas (University of Birmingham, UK)|
|The Internet of Backdoors|
- 5 February 2018, Monday, 14h . Room Petri/Turing.
- 2 February 2018. Room Petri/Turing.
|Catalin Hritcu (Inria Paris)|
|When Good Components Go Bad: Formally Secure CompilationDespite Dynamic Compromise|
|Ioana Boureanu (University of Surrey)|
|Breaking and fixing HB+DB: A Short Tale of Provable vs Experimental Security and Lightweight Designs|
- 15 December 2017. Room Métivier.
- 12 December 2017, Tuesday, 14h. Room Petri/Turing.
- 8 December 2017. Room Petri/Turing.
|Darren Hurley-Smith (University of Kent, UK)|
|Analysing the Security of Mifare DESFire RFID Smartcards|
|Andreas Rossberg (Google, Munich)|
|Bringing the Web up to Speed with WebAssembly|
|Steve Kremer (Inria, Nancy)|
|DEEPSEC: Deciding Equivalence Properties in Security Protocols - Theory and Practice|
- Monday, 30 October 2017, 11:00. Room Petri/Turing.
Joint SoSySec and Chaire CyberCNI seminar.
- 20 October 2017. Room Petri/Turing. .
- 6 October 2017. Room Petri/Turing.
|Stéphane Blouin (Centre de recherche Atlantique, R et D pour la Défense Canada (RDDC))|
|Résilience des réseaux de surveillance et de communication acoustique sous-marine|
|Frédéric Tronel (CentraleSupélec, IRISA, CIDRE)|
|Suivi de flux d'information correct pour les systèmes d'exploitation Linux|
|Alix Trieu (University Rennes 1, IRISA, Celtique)|
|Verifying Constant-Time Implementations by Abstract Interpretation|
- 22 September 2017. Room Petri/Turing.
|David Bühler (CEA)|
|Structuring an Abstract Interpreter through State and Value Abstractions|