| vendredi 25 septembre 2009 à 14:00
|
Morten Dahl
|
Automated Type-Based Verification of Cryptographic Protocols |
| vendredi 02 octobre 2009 à 14:00
|
Elie Bursztein
|
XCS or how to find a new class of attack and get a CCS paper and BlackHat talk out of it |
| vendredi 09 octobre 2009 à 14:00
|
Joe-Kai Tsay
|
Refinig Computationally Sound Mechanized Proofs for Kerberos |
| vendredi 16 octobre 2009 à 14:00
|
Stefan Ciobaca
|
Composition and refinement of security protocols |
| vendredi 23 octobre 2009 à 14:00
|
Rohit Chadha
|
The power of randomization in finite-state monitors |
| vendredi 30 octobre 2009 à 14:00
|
Relâche
|
Week-end Toussaint |
| vendredi 06 novembre 2009 à 14:00
|
Mathilde Arnaud
|
Modeling and Verifying Ad Hoc Routing Protocols |
| vendredi 13 novembre 2009 à 14:00
|
Relâche
|
Already two PhD defenses during this (short) week ! |
| vendredi 20 novembre 2009 à 14:00
|
Jean Goubault-Larrecq
|
Logic wins! |
| vendredi 27 novembre 2009 à 14:00
|
Chan Ngo
|
Formal indistinguishability extended to the random oracle model |
| vendredi 04 décembre 2009 à 14:00
|
Relâche
|
Thèse d'Antoine |
| vendredi 11 décembre 2009 à 14:00
|
Relâche
|
Trop d'absents |
| vendredi 18 décembre 2009 à 14:00
|
Myrto Arapinis
|
Unlinkability in the applied pi calculus
Case study: the electronic passport (cancelled) |
| vendredi 08 janvier 2010 à 14:00
|
??
|
|
| vendredi 15 janvier 2010 à 14:00
|
Steve Kremer
|
Election verifiability in electronic voting protocols |
| vendredi 22 janvier 2010 à 14:00
|
Graham Steel
|
Differential attacks on PIN Processing APIs |
| vendredi 29 janvier 2010 à 14:00
|
Myrto Arapinis
|
Unlinkability in the applied pi calculus Case study: the electronic passport |
| vendredi 05 février 2010 à 14:00
|
Vincent Cheval
|
Automating security analysis: symbolic equivalence of constraint systems |
| vendredi 12 février 2010 à 14:00
|
Stefan Ciobaca
|
Deciding trace equivalence for finite applied pi calculus (joint work with S. Kremer and R. Chadha |
| vendredi 19 février 2010 à 14:00
|
Hubert Comon-Lundh
|
CoSP: a general framework for computational soundness proofs (CCS'09 paper by M. Backes et al.) |
| vendredi 26 février 2010 à 14:00
|
Philippe Chaput
|
Approximating Markov processes by averaging |
| vendredi 05 mars 2010 à 14:00
|
R. Ramanujam
|
Disjunctions in the Dolev Yao model |
| vendredi 12 mars 2010 à 14:00
|
??
|
?? |
| vendredi 19 mars 2010 à 14:00
|
Morten Dahl
|
Formal Analysis of Privacy for Vehicular Mix-zones |
| vendredi 26 mars 2010 à 14:00
|
Karthik Bhargavan
|
Modular Verification of Security Protocol Code by Typing |
| vendredi 02 avril 2010 à 14:00
|
Relâche
|
|
| vendredi 09 avril 2010 à 14:00
|
Joe-Kai Tsay
|
Modular Soundness Proofs via Deduction Games |
| vendredi 16 avril 2010 à 14:00
|
CosyProofs
|
CosyProofs |
| vendredi 23 avril 2010 à 14:00
|
Relâche
|
|
| vendredi 30 avril 2010 à 14:00
|
Gergei Bana
|
Secrecy-Oriented, Computationally Sound First-Order Logical Analysis of
Cryptographic Protocols |
| vendredi 07 mai 2010 à 14:00
|
Yusuke Kawamoto
|
Proving computational soundness of the applied pi-calculus without using computable parsing |
| vendredi 14 mai 2010 à 14:00
|
Relâche
|
|
| vendredi 21 mai 2010 à 14:00
|
Bogdan Warinshi
|
Adaptive pseudofree groups and applications |
| vendredi 28 mai 2010 à 14:00
|
Guillaume Scerri
|
Modeling dishonest key generation for the soundness of observational equivalence |
| vendredi 04 juin 2010 à 14:00
|
Graham Steel
|
Attacking and Fixing PKCS#11 Devices |
| vendredi 11 juin 2010 à 14:00
|
??
|
?? |
| vendredi 23 juillet 2010 à 14:00
|
Takahiro Kubota
|
Date not yet fixed - talk will be scheduled between 22nd July and 4th August |