Steve Kremer

LORIA, Équipe Cassis, Bât. A
Campus Scientifique, BP 239
54506 Vandoeuvre-lès-Nancy Cedex

Phone: +33 (0) 3 54 95 86 60
Fax: +33 (0) 3 83 27 83 19
Office: A203

Steve Kremer

Inria Researcher
CASSIS team at Inria Nancy - Grand Est and LORIA


  • I am co-chairing (with Tomasz Truderung) the Grande Region Security and Reliability Day 2015 (GRSRD'15)
  • 14th International School on Foundations of Security Analysis and Design (FOSAD'14)
    Bertinoro, Italy, 1-6 September 2014
  • I am co-chairing (with Martín Abadi) the 3rd Conference on Principles of Security and Trust (POST'14)
  • I am co-chairing the Computer Security track at the 29th ACM Symposium on Applied Computing (SEC@SAC'14)
  • École jeunes chercheurs en programmation (EJCP'13)
    23-31 Mai, Rennes, France
  • 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
  • Special Issue of Information and Computation on Security and Rewriting Techniques
  • SECSI Colloquium and my habilitation defense
  • Internship proposals


  • My pgp key
  • My CV [.pdf] (16/10/2013)
  • My Erdös number is 3