Steve Kremer

	2012
56		Rohit Chadha, Stefan Ciobâca, Steve Kremer: Automated Verification of Equivalence Properties of Cryptographic Protocols. ESOP 2012: 108-127
55		Steve Kremer, Robert Knnemann, Graham Steel: Universally Composable Key-Management. IACR Cryptology ePrint Archive 2012: 189 (2012)
54		Steve Kremer, Antoine Mercier, Ralf Treinen: Reducing Equational Theories for the Decision of Static Equivalence. J. Autom. Reasoning 48(2): 197-217 (2012)
53		Stefan Ciobâca, Stéphanie Delaune, Steve Kremer: Computing Knowledge in Security Protocols Under Convergent Equational Theories. J. Autom. Reasoning 48(2): 219-262 (2012)
	2011
52		Steve Kremer, Graham Steel, Bogdan Warinschi: Security for Key Management Interfaces. CSF 2011: 266-280
51		Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel: Formal Analysis of Protocols Based on TPM State Registers. CSF 2011: 66-80
50		Céline Chevalier, Stéphanie Delaune, Steve Kremer: Transforming Password Protocols to Compose. FSTTCS 2011: 204-216
49		Véronique Cortier, Steve Kremer, Bogdan Warinschi: A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems. J. Autom. Reasoning 46(3-4): 225-259 (2011)
	2010
48		Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh: Towards Automatic Analysis of Election Verifiability Properties. ARSPA-WITS 2010: 146-163
47		Steve Kremer, Mark Ryan, Ben Smyth: Election Verifiability in Electronic Voting Protocols. ESORICS 2010: 389-404
46		Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel: A Formal Analysis of Authentication in the TPM. Formal Aspects in Security and Trust 2010: 111-125
45		Stéphanie Delaune, Steve Kremer, Mark Ryan: Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster. Towards Trustworthy Elections 2010: 289-309
44		Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan: Symbolic bisimulation for the applied pi calculus. Journal of Computer Security 18(2): 317-377 (2010)
43		Stéphanie Delaune, Steve Kremer, Graham Steel: Formal security analysis of PKCS#11 and proprietary extensions. Journal of Computer Security 18(6): 1211-1245 (2010)
42		Steve Kremer, Laurent Mazaré: Computationally sound analysis of protocols using bilinear pairings. Journal of Computer Security 18(6): 999-1033 (2010)
	2009
41		Michele Boreale, Steve Kremer: Proceedings 7th International Workshop on Security Issues in Concurrency SECCO 2009
40		Steve Kremer, Antoine Mercier, Ralf Treinen: Reducing Equational Theories for the Decision of Static Equivalence. ASIAN 2009: 94-108
39		Stefan Ciobâca, Stéphanie Delaune, Steve Kremer: Computing Knowledge in Security Protocols under Convergent Equational Theories. CADE 2009: 355-370
38		Rohit Chadha, Stéphanie Delaune, Steve Kremer: Epistemic Logic for the Applied Pi Calculus. FMOODS/FORTE 2009: 182-197
37		Stéphanie Delaune, Steve Kremer, Olivier Pereira: Simulation based security in the applied pi calculus. FSTTCS 2009: 169-180
36		Steve Kremer, Prakash Panangaden: Preface. Electr. Notes Theor. Comput. Sci. 242(3): 1-2 (2009)
35		Stéphanie Delaune, Steve Kremer, Olivier Pereira: Simulation based security in the applied pi calculus. IACR Cryptology ePrint Archive 2009: 267 (2009)
34		Mathieu Baudet, Véronique Cortier, Steve Kremer: Computationally sound implementations of equational theories against passive adversaries. Inf. Comput. 207(4): 496-520 (2009)
33		Stéphanie Delaune, Steve Kremer, Mark Ryan: Verifying privacy-type properties of electronic voting protocols. Journal of Computer Security 17(4): 435-487 (2009)
	2008
32		Liqun 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
31		Stéphanie Delaune, Steve Kremer, Mark Ryan: Composition of Password-Based Protocols. CSF 2008: 239-251
30		Stéphanie Delaune, Steve Kremer, Graham Steel: Formal Analysis of PKCS#11. CSF 2008: 331-344
29		Steve Kremer, Antoine Mercier, Ralf Treinen: Proving Group Protocols Secure Against Eavesdroppers. IJCAR 2008: 116-131
28		Myrto Arapinis, Stéphanie Delaune, Steve Kremer: From One Session to Many: Dynamic Tags for Security Protocols. LPAR 2008: 128-142
	2007
27		Steve Kremer, Laurent Mazaré: Adaptive Soundness of Static Equivalence. ESORICS 2007: 610-625
26		Stéphanie Delaune, Steve Kremer, Mark Ryan: Symbolic Bisimulation for the Applied Pi Calculus. FSTTCS 2007: 133-145
25		Liqun Chen, Steve Kremer, Mark Dermot Ryan: 07421 Abstracts Collection -- Formal Protocol Verification Applied. Formal Protocol Verification Applied 2007
24		Liqun Chen, Steve Kremer, Mark Dermot Ryan: 07421 Executive Summary -- Formal Protocol Verification Applied. Formal Protocol Verification Applied 2007
23		Steve Kremer: Computational Soundness of Equational Theories (Tutorial). TGC 2007: 363-382
	2006
22		Stéphanie Delaune, Steve Kremer, Mark Ryan: Coercion-Resistance and Receipt-Freeness in Electronic Voting. CSFW 2006: 28-42
21		Véronique Cortier, Steve Kremer, Ralf Küsters, Bogdan Warinschi: Computationally Sound Symbolic Secrecy in the Presence of Hash Functions. FSTTCS 2006: 176-187
20		Véronique Cortier, Steve Kremer, Ralf Küsters, Bogdan Warinschi: Computationally Sound Symbolic Secrecy in the Presence of Hash Functions. IACR Cryptology ePrint Archive 2006: 218 (2006)
19		Rohit Chadha, Steve Kremer, Andre Scedrov: Formal Analysis of Multiparty Contract Signing. J. Autom. Reasoning 36(1-2): 39-83 (2006)
18		Jean Cardinal, Steve Kremer, Stefan Langerman: Juggling with Pattern Matching. Theory Comput. Syst. 39(3): 425-437 (2006)
	2005
17		Steve Kremer, Mark Ryan: Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. ESOP 2005: 186-200
16		Aybek 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
15		Mathieu Baudet, Véronique Cortier, Steve Kremer: Computationally Sound Implementations of Equational Theories Against Passive Adversaries. ICALP 2005: 652-663
14		Steve 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)
13		Mathieu Baudet, Véronique Cortier, Steve Kremer: Computationally sound implementations of equational theories against passive adversaries. IACR Cryptology ePrint Archive 2005: 74 (2005)
	2004
12		Rohit Chadha, Steve Kremer, Andre Scedrov: Formal Analysis of Multi-Party Contract Signing. CSFW 2004: 266-265
	2003
11		Shahrokh Saeednia, Steve Kremer, Olivier Markowitch: An Efficient Strong Designated Verifier Signature Scheme. ICISC 2003: 40-54
10		Steve Kremer, Olivier Markowitch: Fair multi-party non-repudiation protocols. Int. J. Inf. Sec. 1(4): 223-235 (2003)
9		Steve 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
8		Steve Kremer, Jean-François Raskin: Game Analysis of Abuse-free Contract Signing. CSFW 2002: 206-
7		Olivier Markowitch, Dieter Gollmann, Steve Kremer: On Fairness in Exchange Protocols. ICISC 2002: 451-464
6		Steve Kremer, Olivier Markowitch, Jianying Zhou: An intensive survey of fair non-repudiation protocols. Computer Communications 25(17): 1606-1621 (2002)
	2001
5		Steve Kremer, Jean-François Raskin: A Game-Based Verification of Non-repudiation and Fair Exchange Protocols. CONCUR 2001: 551-565
4		Steve Kremer, Olivier Markowitch: Selective Receipt in Certified E-mail. INDOCRYPT 2001: 136-148
3		Olivier Markowitch, Steve Kremer: An Optimistic Non-repudiation Protocol with Transparent Trusted Third Party. ISC 2001: 363-378
	2000
2		Olivier Markowitch, Steve Kremer: A Multi-party Optimistic Non-repudiation Protocol. ICISC 2000: 109-122
1		Steve Kremer, Olivier Markowitch: A Multi-Party Non-Repudiation Protocol. SEC 2000: 271-280

Coauthor Index

1	Myrto Arapinis	[28]
2	Mathieu Baudet	[13] [15] [34]
3	Michele Boreale	[41]
4	Jean Cardinal	[18]
5	Rohit Chadha	[12] [19] [38] [56]
6	Liqun Chen	[24] [25] [32]
7	Céline Chevalier	[50]
8	Stefan Ciobâca	[39] [53] [56]
9	Véronique Cortier	[13] [15] [20] [21] [34] [49]
10	Stéphanie Delaune	[22] [26] [28] [30] [31] [33] [35] [37] [38] [39] [43] [44] [45] [46] [50] [51] [53]
11	Dieter Gollmann	[7]
12	Robert Knnemann	[55]
13	Mounira Kourjieh	[48]
14	Ralf Küsters	[20] [21]
15	Stefan Langerman	[18]
16	Olivier Markowitch	[1] [2] [3] [4] [6] [7] [10] [11]
17	Laurent Mazaré	[27] [42]
18	Antoine Mercier	[29] [40] [54]
19	Aybek Mukhamedov	[16]
20	Prakash Panangaden	[36]
21	Olivier Pereira	[35] [37]
22	Jean-François Raskin	[5] [8] [9]
23	Eike Ritter	[16]
24	Mark Ryan (Mark Dermot Ryan)	[14] [17] [22] [24] [25] [26] [31] [32] [33] [44] [45] [46] [47] [48] [51]
25	Shahrokh Saeednia	[11]
26	Andre Scedrov	[12] [19]
27	Ben Smyth	[47] [48]
28	Graham Steel	[30] [43] [46] [51] [52] [55]
29	Ralf Treinen	[29] [40] [54]
30	Bogdan Warinschi	[20] [21] [49] [52]
31	Jianying Zhou	[6]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page