LORIA, Équipe Cassis, Bât. A
Campus Scientifique, BP 239
54506 Vandoeuvre-lès-Nancy Cedex
France
Phone: +33 (0) 3 54 95 86 60
Fax: +33 (0) 3 83 27 83 19
Mail: Steve.Kremer@inria.fr
Office: A203
Steve Kremer
INRIA Researcher
CASSIS team at INRIA Nancy - Grand
Est and LORIA
News
Submission deadline: October 7th (abstract) and October 14th (paper)
Formal Models and Techniques for Analyzing Security Protocols
Volume 5 Cryptology and Information Security Series
Edited by: V. Cortier and S. Kremer
March 2011, 312 pp., hardcover
I am the general chair of the 24th IEEE Computer Security Foundations Symposium
Special Issue of Information and Computation on Security and Rewriting Techniques
SECSI Colloquium and my habilitation defense
Publications can be found here
Projects
Activities
Some links
Cryptographic protocols: formal and computational proofs at the MPRI
"Méthodes de vérification de sécurité" at the Master Sécurité
des Systèmes Informatiques.
Edited by: V. Cortier and S. Kremer
March 2011, 312 pp., hardcover
Research
- Steering committees: IEEE Computer Security Foundations Symposium (CSF), Conference on Principles of Security and Trust (POST -- a new ETAPS main conference)
- General chair: 24th IEEE Computer Security Foundations Symposium
- Program committees: PoST'13, CSF'12, ACNS'12, ISPEC'12, PoST'12, FAST'11, PST'11, co-chair of SecRet'10, MoVeP'10, WISSEC'09, co-chair of SecCo'09, Asian'09, VOTE-ID'09, co-chair of SecCo'08, FMSE'08, ICICS'08, WOTE'08, ISC'08, ISPEC'08, SECRYPT'07, WOTE'07, IMIS'07, ISC'07, ICS'06, SecUbiq'06, co-chair of FCC'06, WOTE'06, IWAP'05
- Dagstuhl seminar Formal Protocol Verification Applied
- Analysis of the TPM
- Analysis of PKCS#11
- The KISS (Knowledge In Security protocolS) tool
- SPORE Security Protocols Open Repository
- Verifying properties of electronic voting protocols
- Formal Analysis of Multi-party Contract Signing
- Analysing vulnerability of protocols to produce known-pair and chosen-text attacks