Home   Coordinates   PGP Key   Teaching   Research   Personal Stuff  


Research Interests
  • Security protocols, especially non-repudiation and  fair exchange protocols
    New : You can find here a list of references to fair exchange and non-repudiation related papers.


Research Groups

  • SCSI : Cryptography and Computer Security Service


Publications

Journal papers

Conference and workshop papers
  • Jean Cardinal, Steve Kremer, and Stefan Langerman. Juggling with pattern matching. In Paolo Ferragina and Roberto Grossi, editors, International Conference on Fun with Algorithms (FUN 2004), pages 147-158, Isola d'Elba, Italy, May 2004. Edizioni Plus, Università di Pisa.

  • Rohit Chadha, Steve Kremer, and Andre Scedrov. Formal analysis of multi-party contract signing. In Riccardo Focardi, editor, 17th IEEE Computer Security Foundations Workshop, pages 266-279, Asilomar, CA, USA, June 2004. IEEE Computer Society Press.

  • Rohit Chadha, Steve Kremer, and Andre Scedrov. Formal analysis of multi-party contract signing. In Workshop on Issues in the Theory of Security --- WITS 2004, April 2004. Co-located with ETAPS 2004.

  • Steve Kremer and Mark D. Ryan. Analysing the vulnerability of protocols to produce known-pair and chosen-text attacks. In 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, Electronic Notes in Theoretical Computer Science, London, UK, August 2004. Elsevier. Co-located with Concur 2004. Accepted for Publication.

  • Shahrokh Saeednia, Steve Kremer, and Olivier Markowitch. Efficient designated verifier signatures. In Ludo Tolhuyzen, editor, Twenty-fourth Symposium on Information Theory in the Benelux, pages 187-194, Veldhoven, The Netherlands, May 2003. Werkgemeenschap Informatie- en Communicatietheorie, Enschede.

  • Shahrokh Saeednia, Steve Kremer, and Olivier Markowitch. An efficient strong designated verifier signature scheme. In Jong In Lim and Dong Hoon Lee, editors, 6th International Conference on Information Security and Cryptology (ICISC 2003), Lecture Notes in Computer Science, pages 40-54, Seoul, Korea, November 2003. Springer-Verlag.

  • Steve Kremer and Jean-François Raskin. Game analysis of abuse-free contract signing. In Steve A. Schneider, editor, 15th IEEE Computer Security Foundations Workshop, pages 206-220, Cape Breton, Nova Scotia, Canada, June 2002. IEEE Computer Society Press.

  • Olivier Markowitch, Dieter Gollmann, and Steve Kremer. On fairness in exchange protocols. In Pil Joong Lee and Chae Hoon Lim, editors, 5th International Conference on Information Security and Cryptology (ICISC 2002), volume 2587 of Lecture Notes in Computer Science, pages 451-464, Seoul, Korea, November 2002. Springer-Verlag.

  • Steve Kremer and Olivier Markowitch. Selective receipt in certified e-mail. In C. Pandu Rangan and C. Ding, editors, Progress in Cryptology---Indocrypt 2001, volume 2247 of Lecture Notes in Computer Science, pages 136-148, Chennai, India, December 2001. Springer-Verlag.

  • Steve Kremer and Jean-François Raskin. A game-based verification of non-repudiation and fair exchange protocols. In Kim G. Larsen and Mogens Nielsen, editors, Concurrency Theory--CONCUR 2001, volume 2154 of Lecture Notes in Computer Science, pages 551-565, Aalborg, Denmark, August 2001. Springer-Verlag.

  • Olivier Markowitch and Steve Kremer. An optimistic non-repudiation protocol with transparent trusted third party. In George I. Davida and Yair Frankel, editors, Information Security Conference 2001, volume 2200 of Lecture Notes in Computer Science, pages 363-378, Malaga, Spain, October 2001. Springer-Verlag.

  • Steve Kremer and Olivier Markowitch. A multi-party non-repudiation protocol. In J. Eloff and S. Qing, editors, 15th International Conference on Information Security---Sec 2000, IFIP World Computer Congress, pages 271-280, Beijing, China, August 2000. Kluwer Academic.

  • Steve Kremer and Olivier Markowitch. Optimistic non-repudiable information exchange. In J. Biemond, editor, 21st Symp. on Information Theory in the Benelux, pages 139-146, Wassenaar, The Netherlands, May 2000. Werkgemeenschap Informatie- en Communicatietheorie, Enschede.

  • Steve Kremer and Jean-François Raskin. Formal verification of non-repudiation protocols - a game approach. In Workshop on Formal Methods and Computer Securiy --- FMCS 2000, July 2000. co-located with CAV 2000.

  • Steve Kremer and Jean-François Raskin. A game approach to the verification of exchange protocols - application to non-repudiation protocols. In Workshop on Issues in the Theory of Security --- WITS 2000, July 2000. Co-located with ICALP 2000.

  • Olivier Markowitch and Steve Kremer. A multi-party optimistic non-repudiation protocol. In Dongho Won, editor, 3rd International Conference on Information Security and Cryptology (ICISC 2000), volume 2015 of Lecture Notes in Computer Science, pages 109-122, Seoul, Korea, December 2000. Springer-Verlag.

Theses
  • A Study Of Several Non-repudiation Protocols.
    Master Thesis at the Université Libre de Bruxelles under the supervision of Prof. Y. Roggeman. Brussels, Belgium. June 1999.

Technical Reports


List of co-authors


Research Stays

  • University of Birmingham
  • University of Pennsylvania
  • LSV, ENS de Cachan et CNRS
Scientific Award
  • May 2000: Solvay Award.
Summer Schools
  • September 2000: Participation at the international school on Foundations Of Security Analysis and Design (FOSAD 2000).
  • June 2002: Participation at the international school on Modelling and Verification of Parallel Processes (Movep 2002).
  • September 2002: Participation at the international school on Foundations Of Security Analysis and Design (FOSAD 2002).