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 )
Edited Books
- CK11
-
Véronique Cortier and Steve Kremer (eds.). Formal Models and Techniques for Analyzing Security Protocols, Cryptology and Information Security Series 5. IOS Press, 2011. ( Web page | BibTeX )
- 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 )
- 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 )
- 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
- CDK12
-
Ştefan Ciobâcă, Stéphanie Delaune and Steve Kremer. Computing knowledge in security protocols under convergent equational
theories. Journal of Automated Reasoning, 2012. To appear. ( PDF | BibTeX + Abstract )
- KMT12
-
Steve Kremer, Antoine Mercier and Ralf Treinen. Reducing Equational Theories for the Decision of Static Equivalence. Journal of Automated Reasoning, 2012. 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 18(6), pages 1211-1245, 2010. ( PDF | BibTeX + Abstract )
- KM10
-
Steve Kremer and Laurent Mazaré. Computationally Sound Analysis of Protocols using Bilinear Pairings. Journal of Computer Security 18(6), pages 999-1033, 2010. ( 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 46(3-4), pages 225-259, 2010. ( 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 )
- 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 )
- 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 )
- 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 )
- 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 )
- 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
- CCK12
-
Rohit Chadha, Ştefan Ciobâcă and Steve Kremer. Automated verification of equivalence properties of cryptographic
protocols. In H. Seidl (ed.), ESOP'12, LNCS. Springer, 2012. To appear. ( BibTeX + Abstract )
- CDK11
-
Céline Chevalier, Stéphanie Delaune and Steve Kremer. Transforming Password Protocols to Compose. In S. Chakraborty and A. Kumar (eds.), FSTTCS'11, Leibniz International Proceedings in Informatics, pages 204-216. Leibniz-Zentrum für Informatik, 2011. ( PDF | PDF (long version) | BibTeX + Abstract )
- DKRS11
-
Stéphanie Delaune, Steve Kremer, Mark D. Ryan and Graham Steel. Formal analysis of protocols based on TPM state registers. In CSF'11, pages 66-82. IEEE Computer Society Press, 2011. ( PDF | BibTeX + Abstract )
- KSW11
-
Steve Kremer, Graham Steel and Bogdan Warinschi. Security for Key Management Interfaces. In CSF'11, pages 266-280. IEEE Computer Society Press, 2011. ( PDF | PDF (long version) | BibTeX + Abstract )
- 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 6186, pages 146-163. Springer, 2010. ( PDF | BibTeX + Abstract )
- DKRS10a
-
Stéphanie Delaune, Steve Kremer, Mark D. Ryan and Graham Steel. A Formal Analysis of Authentication in the TPM. In P. Degano, S. Etalle and J. Guttman (eds.), FAST'10, LNCS 6561, pages 111-125. Springer, 2010. ( 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 6345, pages 389-404. Springer, 2010. ( 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 )
- 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 )
- 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 )
- 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 )
- 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 )
- 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 )
- 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 )
- 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 )
- 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 )
- 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 )
- 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 )
- 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 )
- 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 )
- 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 )
- 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 )
- 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 )
- 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 )
- 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
- Kre11a
-
Steve Kremer. Modelling and analyzing security protocols in cryptographic process
calculi. Mémoire d'habilitation, École Normale Supérieure de Cachan, France, March 2011. ( PDF | BibTeX )
- 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 D. Ryan and Graham Steel. A Formal Analysis of Authentication in the TPM (short paper). In V. Cortier and K. Chatzikokolakis (eds.), SecCo'10. 2010. ( 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. c.-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 )
- 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 )
- 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 )
Contract Reports
- Kre11b
-
Steve Kremer. Results on case studies from literature, Deliverable AVOTE 4.2, (ANR-07-SESU-002), 2011. 96 pages. ( PDF | BibTeX )
- DK10
-
Stéphanie Delaune and Steve Kremer. Formalising security properties in electronic voting protocols, Deliverable AVOTE 1.2, (ANR-07-SESU-002), 2010. 17 pages. ( PDF | BibTeX + Abstract )
- CKL10
-
Véronique Cortier, Steve Kremer and Pascal Lafourcade. Computational soundness of static equivalence, Deliverable AVOTE 3.1, (ANR-07-SESU-002), 2010. 106 pages. ( PDF | BibTeX )
- DK09
-
Stéphanie Delaune and Steve Kremer. Spécificités des protocoles de vote électronique, Deliverable AVOTE 1.1 (ANR-07-SESU-002), 2009. 8 pages. ( PDF | BibTeX )
- 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 )
- 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 )