| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Steve Kremer, Robert Knnemann, Graham Steel |
Universally Composable Key-Management.  |
IACR Cryptology ePrint Archive  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Steve Kremer, Antoine Mercier 0002, Ralf Treinen |
Reducing Equational Theories for the Decision of Static Equivalence. |
J. Autom. Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Ciobâca, Stéphanie Delaune, Steve Kremer |
Computing Knowledge in Security Protocols Under Convergent Equational Theories. |
J. Autom. Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, Stefan Ciobâca, Steve Kremer |
Automated Verification of Equivalence Properties of Cryptographic Protocols. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Cortier, Steve Kremer, Bogdan Warinschi |
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems. |
J. Autom. Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel |
Formal Analysis of Protocols Based on TPM State Registers. |
CSF |
2011 |
DBLP DOI BibTeX RDF |
formal verification, TPM |
| 1 | Steve Kremer, Graham Steel, Bogdan Warinschi |
Security for Key Management Interfaces. |
CSF |
2011 |
DBLP DOI BibTeX RDF |
cryptography, Key management, security APIs |
| 1 | Céline Chevalier, Stéphanie Delaune, Steve Kremer |
Transforming Password Protocols to Compose. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphanie Delaune, Steve Kremer, Graham Steel |
Formal security analysis of PKCS#11 and proprietary extensions. |
Journal of Computer Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Kremer, Laurent Mazaré |
Computationally sound analysis of protocols using bilinear pairings. |
Journal of Computer Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan |
Symbolic bisimulation for the applied pi calculus. |
Journal of Computer Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh |
Towards Automatic Analysis of Election Verifiability Properties. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphanie Delaune, Steve Kremer, Mark Ryan |
Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster. |
Towards Trustworthy Elections |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Kremer, Mark Ryan, Ben Smyth |
Election Verifiability in Electronic Voting Protocols. |
ESORICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphanie Delaune, Steve Kremer, Mark Ryan |
Verifying privacy-type properties of electronic voting protocols. |
Journal of Computer Security |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Baudet, Véronique Cortier, Steve Kremer |
Computationally sound implementations of equational theories against passive adversaries. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphanie Delaune, Steve Kremer, Olivier Pereira |
Simulation based security in the applied pi calculus. |
IACR Cryptology ePrint Archive |
2009 |
DBLP BibTeX RDF |
|
| 1 | Steve Kremer, Prakash Panangaden |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, Steve Kremer (eds.) |
Proceedings 7th International Workshop on Security Issues in Concurrency |
SECCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, Stéphanie Delaune, Steve Kremer |
Epistemic Logic for the Applied Pi Calculus. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Ciobâca, Stéphanie Delaune, Steve Kremer |
Computing Knowledge in Security Protocols under Convergent Equational Theories. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Kremer, Antoine Mercier 0002, Ralf Treinen |
Reducing Equational Theories for the Decision of Static Equivalence. |
ASIAN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphanie Delaune, Steve Kremer, Olivier Pereira |
Simulation based security in the applied pi calculus. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Kremer, Antoine Mercier 0002, Ralf Treinen |
Proving Group Protocols Secure Against Eavesdroppers. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Myrto Arapinis, Stéphanie Delaune, Steve Kremer |
From One Session to Many: Dynamic Tags for Security Protocols. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Liqun Chen, Steve Kremer, Mark Dermot Ryan (eds.) |
Formal Protocol Verification Applied, 14.10. - 19.10.2007 |
Formal Protocol Verification Applied |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stéphanie Delaune, Steve Kremer, Mark Ryan |
Composition of Password-Based Protocols. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
composition, security protocols, guessing attacks |
| 1 | Stéphanie Delaune, Steve Kremer, Graham Steel |
Formal Analysis of PKCS#11. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
PKCS11, Key management, Security API |
| 1 | Liqun Chen, Steve Kremer, Mark Dermot Ryan |
07421 Abstracts Collection -- Formal Protocol Verification Applied. |
Formal Protocol Verification Applied |
2007 |
DBLP BibTeX RDF |
|
| 1 | Liqun Chen, Steve Kremer, Mark Dermot Ryan |
07421 Executive Summary -- Formal Protocol Verification Applied. |
Formal Protocol Verification Applied |
2007 |
DBLP BibTeX RDF |
|
| 1 | Steve Kremer |
Computational Soundness of Equational Theories (Tutorial). |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphanie Delaune, Steve Kremer, Mark Ryan |
Symbolic Bisimulation for the Applied Pi Calculus. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Kremer, Laurent Mazaré |
Adaptive Soundness of Static Equivalence. |
ESORICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Rohit Chadha, Steve Kremer, Andre Scedrov |
Formal Analysis of Multiparty Contract Signing. |
J. Autom. Reasoning |
2006 |
DBLP DOI BibTeX RDF |
multiparty contract signing, GM protocol |
| 1 | Jean Cardinal, Steve Kremer, Stefan Langerman |
Juggling with Pattern Matching. |
Theory Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphanie Delaune, Steve Kremer, Mark Ryan |
Coercion-Resistance and Receipt-Freeness in Electronic Voting. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Cortier, Steve Kremer, Ralf Küsters, Bogdan Warinschi |
Computationally Sound Symbolic Secrecy in the Presence of Hash Functions. |
FSTTCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Baudet, Véronique Cortier, Steve Kremer |
Computationally sound implementations of equational theories against passive adversaries. |
IACR Cryptology ePrint Archive |
2005 |
DBLP BibTeX RDF |
|
| 1 | Steve Kremer, Mark Ryan |
Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Baudet, Véronique Cortier, Steve Kremer |
Computationally Sound Implementations of Equational Theories Against Passive Adversaries. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Kremer, Mark Ryan |
Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, Steve Kremer, Andre Scedrov |
Formal Analysis of Multi-Party Contract Signing. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Kremer, Jean-François Raskin |
A Game-based Verification of Non-repudiation and Fair Exchange Protocols. |
Journal of Computer Security |
2003 |
DBLP BibTeX RDF |
|
| 1 | Steve Kremer, Olivier Markowitch |
Fair multi-party non-repudiation protocols. |
Int. J. Inf. Sec. |
2003 |
DBLP DOI BibTeX RDF |
Group communications, Non-repudiation, Fair exchange |
| 1 | Shahrokh Saeednia, Steve Kremer, Olivier Markowitch |
An Efficient Strong Designated Verifier Signature Scheme. |
ICISC |
2003 |
DBLP DOI BibTeX RDF |
Designated verifier, Signature, Discrete logarithm, Signcryption |
| 1 | Steve Kremer, Olivier Markowitch, Jianying Zhou |
An intensive survey of fair non-repudiation protocols. |
Computer Communications |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Markowitch, Dieter Gollmann, Steve Kremer |
On Fairness in Exchange Protocols. |
ICISC |
2002 |
DBLP DOI BibTeX RDF |
exchange protocols, fairness, security protocols, fair exchange, security properties |
| 1 | Steve Kremer, Jean-François Raskin |
Game Analysis of Abuse-free Contract Signing. |
CSFW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Kremer, Jean-François Raskin |
A Game-Based Verification of Non-repudiation and Fair Exchange Protocols. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Markowitch, Steve Kremer |
An Optimistic Non-repudiation Protocol with Transparent Trusted Third Party. |
ISC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Kremer, Olivier Markowitch |
Selective Receipt in Certified E-mail. |
INDOCRYPT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Kremer, Olivier Markowitch |
A Multi-Party Non-Repudiation Protocol. |
SEC |
2000 |
DBLP BibTeX RDF |
|
| 1 | Olivier Markowitch, Steve Kremer |
A Multi-party Optimistic Non-repudiation Protocol. |
ICISC |
2000 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")