Steve Kremer

Full-time Researcher, INRIA


Most recent publications

All my publications



• B. Smyth, M. D. Ryan, S. Kremer and M. Kourjieh.  Election verifiability in electronic voting protocols (Preliminary version).  In WISSEC'09.  2009. ( PDF | BibTeX )
• M. Boreale and S. Kremer (eds.).  Proceedings of the 7th International Workshop on Security Issues in Concurrency (SecCo'09), Bologna, Italy, October 2009, Electronic Proceedings in Theoretical Computer Science 7. ( Web page | BibTeX )
• S. Delaune, S. Kremer and O. Pereira.  Simulation based security in the applied pi calculus.  In FSTTCS'09, Leibniz International Proceedings in Informatics 4, pages 169-180. Leibniz-Zentrum für Informatik,  2009. ( PDF | PDF (long version) | BibTeX )
• S. Kremer, A. Mercier and R. Treinen.  Reducing Equational Theories for the Decision of Static Equivalence.  In ASIAN'09, LNCS 5913, pages 94-108. Springer,  2009. ( PDF | PS | PS.GZ | PDF (long version) | BibTeX )
• S. Delaune, S. Kremer and G. Steel.  Formal Analysis of PKCS#11 and Proprietary Extensions.  Journal of Computer Security, 2010. To appear. ( PDF | BibTeX )


Research


  • 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] (23/09/2009)
  • My Erdös number is 3

    • About LSV

    Contact

    Steve Kremer
    Address
    LSV, CNRS & ENS de Cachan
    61, avenue du Président Wilson
    94235 CACHAN Cedex, France
    Office
    Bâtiment Iris, premier étage
    Phone
    +33 (0)1 47 40 75 45
    Fax
    +33 (0)1 47 40 75 21
    Secr.
    +33 (0)1 47 40 75 20
    E-Mail
    kremer@lsv.ens-cachan.fr

    Projects