Selected publications by Steve Kremer

Chapters in Books

DKR10a

Stéphanie Delaune, Steve Kremer and Mark D. Ryan.  Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster.  In D. Chaum, M. Jakobsson, R. L. Rivest, P. Y. A. Ryan, J. Benaloh, M. Kutyłowski and B. Adida (eds.), Towards Trustworthy Elections - New Directions in Electronic Voting, LNCS 6000, pages 289-309. Springer, 2010. ( PDF | BibTeX + Abstract )

doi: 10.1007/978-3-642-12980-3_18

Edited Books

BK09

Michele Boreale and Steve 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 )

doi: 10.4204/EPTCS.7

KP09

Steve Kremer and Prakash Panangaden (eds.).  Proceedings of the 6th International Workshop on Security Issues in Concurrency (SecCo'08), Toronto, Canada, August 2008, ENTCS 242(3). Elsevier Science Publishers, 2009. ( Web page | BibTeX )

doi: 10.1016/j.entcs.2009.07.077

CKR08

Liqun Chen, Steve Kremer and Mark D. Ryan (eds.).  Formal Protocol Verification Applied, Dagstuhl, Germany, October 2007, Dagstuhl Seminar Proceedings 07421. ( Web page | BibTeX )

Journals

CDK10

Ştefan Ciobâcă, Stéphanie Delaune and Steve Kremer.  Computing knowledge in security protocols under convergent equational theories.  Journal of Automated Reasoning, 2010. To appear. ( PDF | BibTeX + Abstract )

CKW10

Véronique Cortier, Steve Kremer and Bogdan Warinschi.  A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems.  Journal of Automated Reasoning, 2010. To appear. ( PDF | BibTeX + Abstract )

DKS10

Stéphanie Delaune, Steve Kremer and Graham Steel.  Formal Analysis of PKCS#11 and Proprietary Extensions.  Journal of Computer Security, 2010. To appear. ( PDF | BibTeX + Abstract )

KM10

Steve Kremer and Laurent Mazaré.  Computationally Sound Analysis of Protocols using Bilinear Pairings.  Journal of Computer Security, 2010. To appear. ( PDF | BibTeX + Abstract )

KMT10

Steve Kremer, Antoine Mercier and Ralf Treinen.  Reducing Equational Theories for the Decision of Static Equivalence.  Journal of Automated Reasoning, 2010. To appear. ( PDF | BibTeX + Abstract )

DKR10b

Stéphanie Delaune, Steve Kremer and Mark D. Ryan.  Symbolic bisimulation for the applied pi calculus.  Journal of Computer Security 18(2), pages 317-377, 2010. ( PDF | BibTeX + Abstract )

doi: 10.3233/JCS-2010-0363

DKR09

Stéphanie Delaune, Steve Kremer and Mark D. Ryan.  Verifying Privacy-type Properties of Electronic Voting Protocols.  Journal of Computer Security 17(4), pages 435-487, 2009. ( PDF | PS | PS.GZ | BibTeX + Abstract )

doi: 10.3233/JCS-2009-0340

BCK09

Mathieu Baudet, Véronique Cortier and Steve Kremer.  Computationally Sound Implementations of Equational Theories against Passive Adversaries.  Information and Computation 207(4), pages 496-520, 2009. ( PDF | BibTeX + Abstract )

doi: 10.1016/j.ic.2008.12.005

CKL06

Jean Cardinal, Steve Kremer and Stefan Langerman.  Juggling with Pattern Matching.  Theory of Computing Systems 39(3), pages 425-437, 2006. ( PDF | BibTeX + Abstract )

doi: 10.1007/s00224-005-1239-x

CKS06

Rohit Chadha, Steve Kremer and Andre Scedrov.  Formal Analysis of Multi-Party Contract Signing.  Journal of Automated Reasoning 36(1-2), pages 39-83, 2006. ( PDF | BibTeX + Abstract )

doi: 10.1007/s10817-005-9019-5

KR03

Steve Kremer and Jean-François Raskin.  A Game-Based Verification of Non-Repudiation and Fair Exchange Protocols.  Journal of Computer Security 11(3), pages 399-429, 2003. ( PS | PS.GZ | BibTeX + Abstract )

KM03

Steve Kremer and Olivier Markowitch.  Fair Multi-Party Non-Repudiation Protocols.  International Journal on Information Security 1(4), pages 223-235, 2003. ( PS | PS.GZ | BibTeX + Abstract )

KMZ02

Steve Kremer, Olivier Markowitch and Jianying Zhou.  An Intensive Survey of Fair Non-repudiation Protocols.  Computer Communications 25(17), pages 1606-1621, 2002. ( PDF | BibTeX + Abstract )

Conferences

SRKK10

Ben Smyth, Mark D. Ryan, Steve Kremer and Mounira Kourjieh.  Towards automatic analysis of election verifiability properties.  In A. Armando and G. Lowe (eds.), ARSPA-WITS'10, LNCS. Springer, 2010. To appear. ( PDF | BibTeX + Abstract )

DKRS10a

Stéphanie Delaune, Steve Kremer, Mark Ryan and Graham Steel.  A Formal Analysis of Authentication in the TPM.  In S. Etalle and J. Guttman (eds.), FAST'10. 2010. To appear. ( PDF | PS | PS.GZ | BibTeX + Abstract )

KRS10

Steve Kremer, Mark D. Ryan and Ben Smyth.  Election verifiability in electronic voting protocols.  In D. Gritzalis and B. Preneel (eds.), ESORICS'10, LNCS. Springer, 2010. To appear. ( PDF | BibTeX + Abstract )

DKP09

Stéphanie Delaune, Steve Kremer and Olivier Pereira.  Simulation based security in the applied pi calculus.  In R. Kannan and K. Narayan Kumar (eds.), FSTTCS'09, Leibniz International Proceedings in Informatics 4, pages 169-180. Leibniz-Zentrum für Informatik, 2009. ( PDF | PDF (long version) | BibTeX + Abstract )

doi: 10.4230/LIPIcs.FSTTCS.2009.2316

KMT09a

Steve Kremer, Antoine Mercier and Ralf Treinen.  Reducing Equational Theories for the Decision of Static Equivalence.  In A. Datta (ed.), ASIAN'09, LNCS 5913, pages 94-108. Springer, 2009. ( PDF | PS | PS.GZ | PDF (long version) | BibTeX + Abstract )

doi: 10.1007/978-3-642-10622-4_8

CDK09a

Ştefan Ciobâcă, Stéphanie Delaune and Steve Kremer.  Computing knowledge in security protocols under convergent equational theories.  In R. Schmidt (ed.), CADE'09, LNAI, pages 355-370. Springer, 2009. ( PDF | PDF (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )

doi: 10.1007/978-3-642-02959-2_27

CDK09b

Rohit Chadha, Stéphanie Delaune and Steve Kremer.  Epistemic Logic for the Applied Pi Calculus.  In D. Lee, A. Lopes and A. Poetzsch-Heffter (eds.), FMOODS/FORTE'09, LNCS 5522, pages 182-197. Springer, 2009. ( PDF | PS | PS.GZ | BibTeX + Abstract )

doi: 10.1007/978-3-642-02138-1_12

Kre08

Steve Kremer.  Computational soundness of equational theories (Tutorial).  In G. Barthe and C. Fournet (eds.), TGC'07, LNCS 4912, pages 363-382. Springer, 2008. ( PDF | BibTeX + Abstract )

doi: 10.1007/978-3-540-78663-4

ADK08

Myrto Arapinis, Stéphanie Delaune and Steve Kremer.  From One Session to Many: Dynamic Tags for Security Protocols.  In I. Cervesato, H. Veith and A. Voronkov (eds.), LPAR'08, LNAI 5330, pages 128-142. Springer, 2008. ( PDF | PDF (long version) | BibTeX + Abstract )

doi: 10.1007/978-3-540-89439-1_9

KMT08

Steve Kremer, Antoine Mercier and Ralf Treinen.  Proving Group Protocols Secure Against Eavesdroppers.  In A. Armando, P. Baumgartner and G. Dowek (eds.), IJCAR'08, LNAI 5195, pages 116-131. Springer-Verlag, 2008. ( PDF | PDF (long version) | BibTeX + Abstract )

doi: 10.1007/978-3-540-71070-7_9

DKR08

Stéphanie Delaune, Steve Kremer and Mark D. Ryan.  Composition of Password-based Protocols.  In CSF'08, pages 239-251. IEEE Computer Society Press, 2008. ( PDF | BibTeX + Abstract )

doi: 10.1109/CSF.2008.6

DKS08

Stéphanie Delaune, Steve Kremer and Graham Steel.  Formal Analysis of PKCS#11.  In CSF'08, pages 331-344. IEEE Computer Society Press, 2008. ( PDF | PDF (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )

doi: 10.1109/CSF.2008.16

DKR07a

Stéphanie Delaune, Steve Kremer and Mark D. Ryan.  Symbolic Bisimulation for the Applied Pi-Calculus.  In V. Arvind and S. Prasad (eds.), FSTTCS'07, LNCS 4855, pages 133-145. Springer, 2007. ( PDF | PDF (long version) | BibTeX + Abstract )

doi: 10.1007/978-3-540-77050-3_11

KM07a

Steve Kremer and Laurent Mazaré.  Adaptive Soundness of Static Equivalence.  In J. Biskup and J. Lopez (eds.), ESORICS'07, LNCS 4734, pages 610-625. Springer, 2007. ( PDF | PDF (long version) | BibTeX + Abstract )

doi: 10.1007/978-3-540-74835-9_40

CKKW06

Véronique Cortier, Steve Kremer, Ralf Küsters and Bogdan Warinschi.  Computationally Sound Symbolic Secrecy in the Presence of Hash Functions.  In N. Garg and S. Arun-Kumar (eds.), FSTTCS'06, LNCS 4337, pages 176-187. Springer, 2006. ( PDF | PS | PS.GZ | PDF (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )

doi: 10.1007/11944836_18

DKR06a

Stéphanie Delaune, Steve Kremer and Mark D. Ryan.  Coercion-Resistance and Receipt-Freeness in Electronic Voting.  In CSFW'06, pages 28-39. IEEE Computer Society Press, 2006. ( PDF | PS | PS.GZ | PDF (long version) | PS (long version) | PS.GZ (long version) | Slides | BibTeX + Abstract )

doi: 10.1109/CSFW.2006.8

MKR05

Aybek Mukhamedov, Steve Kremer and Eike Ritter.  Analysis of a Multi-Party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model.  In A. S. Patrick and M. Yung (eds.), FC'05, LNCS 3570, pages 255-269. Springer, 2005. ( PDF | BibTeX + Abstract )

doi: 10.1007/11507840_23

BCK05

Mathieu Baudet, Véronique Cortier and Steve Kremer.  Computationally Sound Implementations of Equational Theories against Passive Adversaries.  In L. Caires, G. F. Italiano, L. Monteiro, C. Palamidessi and M. Yung (eds.), ICALP'05, LNCS 3580, pages 652-663. Springer, 2005. ( PDF | PDF (long version) | PS (long version) | PS.GZ (long version) | BibTeX + Abstract )

doi: 10.1007/11523468_53

KR05a

Steve Kremer and Mark D. Ryan.  Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks.  In R. Focardi and G. Zavattaro (eds.), SecCo'04, ENTCS 128(5), pages 84-107. Elsevier Science Publishers, 2005. ( PDF | BibTeX + Abstract )

doi: 10.1016/j.entcs.2004.11.043

KR05b

Steve Kremer and Mark D. Ryan.  Analysis of an Electronic Voting Protocol in the Applied Pi-Calculus.  In M. Sagiv (ed.), ESOP'05, LNCS 3444, pages 186-200. Springer, 2005. ( PDF | PS | PS.GZ | BibTeX + Abstract )

doi: 10.1007/b107380

SKM04

Shahrokh Saeednia, Steve Kremer and Olivier Markowitch.  An Efficient Strong Designated Verifier Signature Scheme.  In J. In Lim and D. Hoon Lee (eds.), ICISC'03, LNCS 2971, pages 40-54. Springer, 2004. ( PS | PS.GZ | BibTeX + Abstract )

CKS04a

Rohit Chadha, Steve Kremer and Andre Scedrov.  Formal Analysis of Multi-Party Contract Signing.  In CSFW'04, pages 266-279. IEEE Computer Society Press, 2004. ( PS | PS.GZ | BibTeX + Abstract )

CKL04

Jean Cardinal, Steve Kremer and Stefan Langerman.  Juggling with Pattern Matching.  In P. Ferragina and R. Grossi (eds.), FUN'04, pages 147-158. Edizioni Plus, Università di Pisa, 2004. ( PS | PS.GZ | BibTeX + Abstract )

MGK03

Olivier Markowitch, Dieter Gollmann and Steve Kremer.  On Fairness in Exchange Protocols.  In P. J. Lee and C. H. Lim (eds.), ICISC'02, LNCS 2587, pages 451-464. Springer, 2003. ( PS | PS.GZ | BibTeX + Abstract )

KR02

Steve Kremer and Jean-François Raskin.  Game Analysis of Abuse-Free Contract Signing.  In CSFW'02, pages 206-220. IEEE Computer Society Press, 2002. ( PS | PS.GZ | BibTeX + Abstract )

MK01a

Olivier Markowitch and Steve Kremer.  A multi-party optimistic non-repudiation protocol.  In D. Won (ed.), ICISC 2000, LNCS 2015, pages 109-122. Springer, 2001. ( PS | PS.GZ | BibTeX + Abstract )

KM01

Steve Kremer and Olivier Markowitch.  Selective Receipt in Certified E-Mail.  In C. Pandu Rangan and C. Ding (eds.), INDOCRYPT'01, LNCS 2247, pages 136-148. Springer, 2001. ( PS | PS.GZ | BibTeX + Abstract )

MK01b

Olivier Markowitch and Steve Kremer.  An Optimistic Non-Repudiation Protocol with Transparent Trusted Third Party.  In G. I. Davida and Y. Frankel (eds.), ISC'01, LNCS 2200, pages 363-378. Springer, 2001. ( PS | PS.GZ | BibTeX + Abstract )

KR01

Steve Kremer and Jean-François Raskin.  A Game-Based Verification of Non-Repudiation and Fair Exchange Protocols.  In K. G. Larsen and M. Nielsen (eds.), CONCUR'01, LNCS 2154, pages 551-565. Springer, 2001. ( PS | PS.GZ | BibTeX + Abstract )

Theses

Kre03

Steve Kremer.  Formal Analysis of Optimistic Fair Exchange Protocols.  Thèse de doctorat, Université Libre de Bruxelles, Belgium, December 2003. ( PS | PS.GZ | BibTeX )

Other Publications

DKRS10b

Stéphanie Delaune, Steve Kremer, Mark Ryan and Graham Steel.  A Formal Analysis of Authentication in the TPM (short paper).  In V. Cortier and K. Chatzikokolakis (eds.), SecCo'10. 2010. To appear. ( PDF | PS | PS.GZ | BibTeX )

SRKK09

Ben Smyth, Mark D. Ryan, Steve Kremer and Mounira Kourjieh.  Election verifiability in electronic voting protocols (Preliminary version).  In O. Pereira, J.-J. Quisquater and F.-X. Standaert (eds.), WISSEC'09. 2009. ( PDF | BibTeX + Abstract )

CDK09c

Ştefan Ciobâcă, Stéphanie Delaune and Steve Kremer.  Computing knowledge in security protocols under convergent equational theories.  In H. Comon-Lundh and C. Meadows (eds.), SecReT'09, pages 47-58. 2009. ( PDF | BibTeX + Abstract )

KMT09b

Steve Kremer, Antoine Mercier and Ralf Treinen.  Reducing Equational Theories for the Decision of Static Equivalence (Preliminary Version).  In H. Comon-Lundh and C. Meadows (eds.), SecReT'09. 2009. ( PDF | PS | PS.GZ | BibTeX + Abstract )

DKR07b

Stéphanie Delaune, Steve Kremer and Mark D. Ryan.  Symbolic bisimulation for the applied pi calculus.  In D. Goria and C. Palamidessi (eds.), SecCo'07. 2007. Preliminary version of [DKR07a]. ( PDF | PDF (long version) | BibTeX )

KM07b

Steve Kremer and Laurent Mazaré.  Adaptive Soundness of Static Equivalence.  In M. Backes and Y. Lakhnech (eds.), FCC'07. 2007. Preliminary version of [KM07a]. ( PDF | BibTeX + Abstract )

KBL⁺06

Francis Klay, Liana Bozga, Yassine Lakhnech, Laurent Mazaré, Stéphanie Delaune and Steve Kremer.  Retour d'expérience sur la validation du vote électronique.  Technical Report 9, projet RNTL PROUVÉ, November 2006. 47 pages. ( PDF | BibTeX + Abstract )

DKR06b

Stéphanie Delaune, Steve Kremer and Mark D. Ryan.  Verifying Properties of Electronic Voting Protocols.  In WOTE'06, pages 45-52. 2006. ( PDF | PS | PS.GZ | BibTeX + Abstract )

Kre06

Steve Kremer.  Formal Verification of Cryptographic Protocols, Invited tutorial, 7th School on Modelling and Verifying Parallel Processes (MOVEP'06), Bordeaux, France, 2006. 5 pages. ( PDF | Slides | BibTeX )

KLT05

Steve Kremer, Yassine Lakhnech and Ralf Treinen.  The Prouvé Manual: Specifications, Semantics, and Logics.  Technical Report 7, projet RNTL PROUVÉ, December 2005. 49 pages. ( PDF | PS | PS.GZ | BibTeX + Abstract )

DKK05

Stéphanie Delaune, Francis Klay and Steve Kremer.  Spécification du protocole de vote électronique.  Technical Report 6, projet RNTL PROUVÉ, November 2005. 19 pages. ( PDF | PS | PS.GZ | BibTeX + Abstract )

DKR05

Stéphanie Delaune, Steve Kremer and Mark D. Ryan.  Receipt-Freeness: Formal Definition and Fault Attacks (Extended Abstract).  In FEE 2005. 2005. Preliminary version of [DKR06a]. ( PDF | BibTeX )

CKS04b

Rohit Chadha, Steve Kremer and Andre Scedrov.  Formal Analysis of Multi-Party Contract Signing.  In P. Ryan (ed.), WITS'04, pages 153-163. 2004. ( PS | PS.GZ | BibTeX + Abstract )

SKM03

Shahrokh Saeednia, Steve Kremer and Olivier Markowitch.  Efficient Designated Verifier Signatures.  In Proceedings of the 24th Symposium on Information Theory in the Benelux, Veldhoven, The Netherlands, May 2003, pages 187-194. 2003. ( PS | PS.GZ | BibTeX + Abstract )

KM00a

Steve Kremer and Olivier Markowitch.  A multi-party non-repudiation protocol.  In S. Qing and J. H. P. Eloff (eds.), SEC 2000, IFIP Conference Proceedings 175, pages 271-280. Kluwer Academic Publishers, 2000. ( PS | PS.GZ | BibTeX + Abstract )

KR00a

Steve Kremer and Jean-François Raskin.  Formal Verification of Non-repudiation Protocols - A Game Approach.  In E. M. Clarke, M. Heintze and H. Veith (eds.), FMCS 2000. 2000. ( PS | PS.GZ | BibTeX + Abstract )

KR00b

Steve Kremer and Jean-François Raskin.  A Game Approach to the Verification of Exchange Protocols - Application to Non-repudiation Protocols.  In P. Degano (ed.), WITS 2000. 2000. ( PS | PS.GZ | BibTeX )

KM00b

Steve Kremer and Olivier Markowitch.  Optimistic Non-repudiable Information Exchange.  In Proceedings of the 21st Symposium on Information Theory in the Benelux, Wassenaar, The Netherlands, May 2000, pages 139-146. 2000. ( PS | PS.GZ | BibTeX + Abstract )

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique