Steve Kremer Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Ciobâca, Stéphanie Delaune, Steve Kremer: Computing Knowledge in Security Protocols under Convergent Equational Theories. CADE 2009: 355-370
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRohit Chadha, Stéphanie Delaune, Steve Kremer: Epistemic Logic for the Applied Pi Calculus. FMOODS/FORTE 2009: 182-197
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphanie Delaune, Steve Kremer, Olivier Pereira: Simulation based security in the applied pi calculus. FSTTCS 2009: 169-180
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Boreale, Steve Kremer: Proceedings 7th International Workshop on Security Issues in Concurrency CoRR abs/0910.4420: (2009)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Kremer, Prakash Panangaden: Preface. Electr. Notes Theor. Comput. Sci. 242(3): 1-2 (2009)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathieu Baudet, Véronique Cortier, Steve Kremer: Computationally sound implementations of equational theories against passive adversaries. Inf. Comput. 207(4): 496-520 (2009)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphanie Delaune, Steve Kremer, Mark Ryan: Verifying privacy-type properties of electronic voting protocols. Journal of Computer Security 17(4): 435-487 (2009)
2008
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiqun Chen, Steve Kremer, Mark Dermot Ryan: Formal Protocol Verification Applied, 14.10. - 19.10.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphanie Delaune, Steve Kremer, Mark Ryan: Composition of Password-Based Protocols. CSF 2008: 239-251
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphanie Delaune, Steve Kremer, Graham Steel: Formal Analysis of PKCS#11. CSF 2008: 331-344
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Kremer, Antoine Mercier, Ralf Treinen: Proving Group Protocols Secure Against Eavesdroppers. IJCAR 2008: 116-131
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMyrto Arapinis, Stéphanie Delaune, Steve Kremer: From One Session to Many: Dynamic Tags for Security Protocols. LPAR 2008: 128-142
2007
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Kremer, Laurent Mazaré: Adaptive Soundness of Static Equivalence. ESORICS 2007: 610-625
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphanie Delaune, Steve Kremer, Mark Ryan: Symbolic Bisimulation for the Applied Pi Calculus. FSTTCS 2007: 133-145
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiqun Chen, Steve Kremer, Mark Dermot Ryan: 07421 Abstracts Collection -- Formal Protocol Verification Applied. Formal Protocol Verification Applied 2007
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLiqun Chen, Steve Kremer, Mark Dermot Ryan: 07421 Executive Summary -- Formal Protocol Verification Applied. Formal Protocol Verification Applied 2007
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Kremer: Computational Soundness of Equational Theories (Tutorial). TGC 2007: 363-382
2006
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphanie Delaune, Steve Kremer, Mark Ryan: Coercion-Resistance and Receipt-Freeness in Electronic Voting. CSFW 2006: 28-42
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Cortier, Steve Kremer, Ralf Küsters, Bogdan Warinschi: Computationally Sound Symbolic Secrecy in the Presence of Hash Functions. FSTTCS 2006: 176-187
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRohit Chadha, Steve Kremer, Andre Scedrov: Formal Analysis of Multiparty Contract Signing. J. Autom. Reasoning 36(1-2): 39-83 (2006)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Cardinal, Steve Kremer, Stefan Langerman: Juggling with Pattern Matching. Theory Comput. Syst. 39(3): 425-437 (2006)
2005
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Kremer, Mark Ryan: Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. ESOP 2005: 186-200
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAybek Mukhamedov, Steve Kremer, Eike Ritter: Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model. Financial Cryptography 2005: 255-269
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMathieu Baudet, Véronique Cortier, Steve Kremer: Computationally Sound Implementations of Equational Theories Against Passive Adversaries. ICALP 2005: 652-663
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Kremer, Mark Ryan: Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks. Electr. Notes Theor. Comput. Sci. 128(5): 87-104 (2005)
2004
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRohit Chadha, Steve Kremer, Andre Scedrov: Formal Analysis of Multi-Party Contract Signing. CSFW 2004: 266-265
2003
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShahrokh Saeednia, Steve Kremer, Olivier Markowitch: An Efficient Strong Designated Verifier Signature Scheme. ICISC 2003: 40-54
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Kremer, Olivier Markowitch: Fair multi-party non-repudiation protocols. Int. J. Inf. Sec. 1(4): 223-235 (2003)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Kremer, Jean-François Raskin: A Game-based Verification of Non-repudiation and Fair Exchange Protocols. Journal of Computer Security 11(3): 399-430 (2003)
2002
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Kremer, Jean-François Raskin: Game Analysis of Abuse-free Contract Signing. CSFW 2002: 206-
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Markowitch, Dieter Gollmann, Steve Kremer: On Fairness in Exchange Protocols. ICISC 2002: 451-464
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Kremer, Olivier Markowitch, Jianying Zhou: An intensive survey of fair non-repudiation protocols. Computer Communications 25(17): 1606-1621 (2002)
2001
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Kremer, Jean-François Raskin: A Game-Based Verification of Non-repudiation and Fair Exchange Protocols. CONCUR 2001: 551-565
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Kremer, Olivier Markowitch: Selective Receipt in Certified E-mail. INDOCRYPT 2001: 136-148
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Markowitch, Steve Kremer: An Optimistic Non-repudiation Protocol with Transparent Trusted Third Party. ISC 2001: 363-378
2000
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Markowitch, Steve Kremer: A Multi-party Optimistic Non-repudiation Protocol. ICISC 2000: 109-122
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Kremer, Olivier Markowitch: A Multi-Party Non-Repudiation Protocol. SEC 2000: 271-280

Coauthor Index

1Myrto Arapinis [26]
2Mathieu Baudet [14] [32]
3Michele Boreale [34]
4Jean Cardinal [17]
5Rohit Chadha [12] [18] [36]
6Liqun Chen [22] [23] [30]
7Stefan Ciobâca [37]
8Véronique Cortier [14] [19] [32]
9Stéphanie Delaune [20] [24] [26] [28] [29] [31] [35] [36] [37]
10Dieter Gollmann [7]
11Ralf Küsters [19]
12Stefan Langerman [17]
13Olivier Markowitch [1] [2] [3] [4] [6] [7] [10] [11]
14Laurent Mazaré [25]
15Antoine Mercier [27]
16Aybek Mukhamedov [15]
17Prakash Panangaden [33]
18Olivier Pereira [35]
19Jean-François Raskin [5] [8] [9]
20Eike Ritter [15]
21Mark Ryan (Mark Dermot Ryan) [13] [16] [20] [22] [23] [24] [29] [30] [31]
22Shahrokh Saeednia [11]
23Andre Scedrov [12] [18]
24Graham Steel [28]
25Ralf Treinen [27]
26Bogdan Warinschi [19]
27Jianying Zhou [6]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)