Il y a 2 Résultats avec le mot clé : "Steve Kremer"
Table ronde et exposés
Jam Session Alumni
Une jam session sur le thème de la sécurité informatique
Lieu : amphi C Inria Nancy - Grand Est
Intervenants : Roberto DiCosmo,Olivier Pereira, Peter Ryan, Pierrick Gaudry, Nicolas Ray, Emmanuel Hainry, François Bancilhon
Mots-clés :
- Steve Kremer
- Centre de recherche Inria Nancy - Grand Est
- Inria Alumni
- Conférence-débat
- Vote électronique
- Cryptographie
Publication
Formal Models and Techniques for Analyzing Security Protocols
Parution du livre "Formal Models and Techniques for Analyzing Security Protocols / Cryptology and Information Security Series (Vol.5)", co-écrit par Steve Kremer (équipe-projet Secsi) et Véronique Cortier (équipe-projet Cassis).
Mots-clés :
Accueil > Centre > Saclay > Actualités > Formal Models and Techniques for Analyzing Security Protocols
Inria
Inria.fr
Inria Channel
Centres de recherche Inria