Steve Kremer


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

  • New main conference at ETAPS: PoST
    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
  • Research

  • Publications can be found here
  • Projects
  • Activities
  • Some links
  • Teaching

  • 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.
  • Misc

  • My pgp key
  • My CV [.pdf] (20/09/2011)
  • My Erdös number is 3