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
Volume 5 Cryptology and Information Security Series
Edited by: V. Cortier and S. Kremer
March 2011, 312 pp., hardcover
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)
- European Joint Conferences on Theory and Practice of Software (ETAPS)
- Program committees: co-chair of POST'14, ESORICS'13, ICICS'13, RV'13, ISPEC'13, PoST'13, TGC'12, FSTTCS'12, 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
- General Chair of the 24th IEEE Computer Security Foundations Symposium
- Dagstuhl seminar Formal Protocol Verification Applied
- The AKISS (Active Knowledge In Security protocolS) tool for verifying equivalence properties
- Analysis of the TPM
- Analysis of PKCS#11
- 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