Steve Kremer
Steve Kremer
Dirección de correo verificada de inria.fr - Página principal
Título
Citado por
Citado por
Año
An intensive survey of fair non-repudiation protocols
S Kremer, O Markowitch, J Zhou
Computer communications 25 (17), 1606-1621, 2002
3842002
Verifying privacy-type properties of electronic voting protocols
S Delaune, S Kremer, M Ryan
Journal of Computer Security 17 (4), 435-487, 2009
3532009
An efficient strong designated verifier signature scheme
S Saeednia, S Kremer, O Markowitch
International conference on information security and cryptology, 40-54, 2003
3022003
Analysis of an electronic voting protocol in the applied pi calculus
S Kremer, M Ryan
European Symposium on Programming, 186-200, 2005
3002005
A game-based verification of non-repudiation and fair exchange protocols
S Kremer, JF Raskin
Journal of Computer Security 11 (3), 399-430, 2003
1932003
A game-based verification of non-repudiation and fair exchange protocols
S Kremer, JF Raskin
International Conference on Concurrency Theory, 551-565, 2001
1932001
Election verifiability in electronic voting protocols
S Kremer, M Ryan, B Smyth
European Symposium on Research in Computer Security, 389-404, 2010
1882010
Coercion-resistance and receipt-freeness in electronic voting
S Delaune, S Kremer, M Ryan
19th IEEE Computer Security Foundations Workshop (CSFW'06), 12 pp.-42, 2006
1882006
Automated verification of equivalence properties of cryptographic protocols
R Chadha, V Cheval, Ş Ciobâcă, S Kremer
ACM Transactions on Computational Logic (TOCL) 17 (4), 23, 2016
1312016
Automated verification of equivalence properties of cryptographic protocols
R Chadha, Ş Ciobâcă, S Kremer
European Symposium on Programming, 108-127, 2012
131*2012
Game analysis of abuse-free contract signing
S Kremer, JF Raskin
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 206-220, 2002
1042002
A survey of symbolic methods in computational analysis of cryptographic systems
V Cortier, S Kremer, B Warinschi
Journal of Automated Reasoning 46 (3-4), 225-259, 2011
1032011
Formal analysis of multiparty contract signing
R Chadha, S Kremer, A Scedrov
Journal of Automated Reasoning 36 (1-2), 39-83, 2006
922006
An optimistic non-repudiation protocol with transparent trusted third party
O Markowitch, S Kremer
International Conference on Information Security, 363-378, 2001
872001
Computationally sound implementations of equational theories against passive adversaries
M Baudet, V Cortier, S Kremer
International Colloquium on Automata, Languages, and Programming, 652-663, 2005
812005
A multi-party optimistic non-repudiation protocol
O Markowitch, S Kremer
International Conference on Information Security and Cryptology, 109-122, 2000
742000
Optimistic non-repudiable information exchange
S Kremer, O Markowitch
Symposium on Information Theory in the Benelux, 139-146, 2000
722000
Formal analysis of protocols based on TPM state registers
S Delaune, S Kremer, MD Ryan, G Steel
2011 IEEE 24th Computer Security Foundations Symposium, 66-80, 2011
672011
A multi-party non-repudiation protocol
S Kremer, O Markowitch
IFIP International Information Security Conference, 271-280, 2000
672000
Computing knowledge in security protocols under convergent equational theories
Ş Ciobâcă, S Delaune, S Kremer
International Conference on Automated Deduction, 355-370, 2009
652009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20