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
- Steve
Kremer and Olivier Markowitch.
Fair multi-party
non-repudiation.
International Journal on Information Security, 1(4):223-235, July
2003, Springer-Verlag.
- Steve Kremer
and Jean-François Raskin.
A game-based
verification of non-repudiation and fair exchange protocols.
Journal of Computer Security, 11(3):399-429, 2003, IOS Press.
- Steve
Kremer, Olivier Markowitch, and Jianying Zhou.
An
intensive survey of non-repudiation protocols.
Computer Communications, 25(17):1606-1621, November 2002,
Elsevier.
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
- Rohit Chadha, Steve Kremer,
and Andre Scedrov.
Analysis of multi-party
contract signing.
Technical Report 516, ULB, 2002.
- Steve Kremer and
Jean-François Raskin.
Game analysis of abuse-free
contract signing.
Technical Report 474, ULB, 2002.
- Steve Kremer, Olivier
Markowitch, and Jianying Zhou.
An intensive survey of
non-repudiation protocols.
Technical Report 473, ULB, 2002.
- Steve Kremer and
Olivier Markowitch.
Multi-party non-repudiation.
Technical Report 459, ULB, 2001.
- Steve Kremer and
Olivier Markowitch.
Selective receipt in certified
e-mail.
Technical Report 460, ULB, 2001.
- Steve Kremer and
Jean-François Raskin.
A
game-based verification of non-repudiation and fair exchange protocols.
Technical Report 451, ULB, 2001.
- Olivier Markowitch,
Dieter Gollmann, and Steve Kremer.
On fairness in exchange
protocols.
Technical Report 461, ULB, 2001.
- Steve Kremer and
Olivier Markowitch.
Fair optimistic non-repudiation : Remarks and generalization.
Technical report, ULB, 2000.
List of co-authors
Research Stays
-
University of Pennsylvania
-
LSV, ENS de Cachan et
CNRS
Scientific 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).
|
|