Folgen
Steve Kremer
Steve Kremer
Inria
Bestätigte E-Mail-Adresse bei inria.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
An intensive survey of fair non-repudiation protocols
S Kremer, O Markowitch, J Zhou
Computer communications 25 (17), 1606-1621, 2002
4192002
Verifying privacy-type properties of electronic voting protocols
S Delaune, S Kremer, M Ryan
Journal of Computer Security 17 (4), 435-487, 2009
4062009
An efficient strong designated verifier signature scheme
S Saeednia, S Kremer, O Markowitch
Information Security and Cryptology-ICISC 2003: 6th International Conference …, 2004
3552004
Analysis of an electronic voting protocol in the applied pi calculus
S Kremer, M Ryan
ESOP 5, 186-200, 2005
3282005
Election Verifiability in Electronic Voting Protocols.
S Kremer, M Ryan, B Smyth
ESORICS 10, 389-404, 2010
2492010
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
2222006
A game-based verification of non-repudiation and fair exchange protocols
S Kremer, JF Raskin
Journal of Computer Security 11 (3), 399-430, 2003
2042003
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
1822016
Automated verification of equivalence properties of cryptographic protocols
R Chadha, Ş Ciobâcă, S Kremer
European Symposium on Programming, 108-127, 2012
182*2012
A survey of symbolic methods in computational analysis of cryptographic systems
V Cortier, S Kremer, B Warinschi
Journal of Automated Reasoning 46, 225-259, 2011
1302011
A game-based verification of non-repudiation and fair exchange protocols
S Kremer, JF Raskin
CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001
1142001
Game analysis of abuse-free contract signing
S Kremer, JF Raskin
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 206-220, 2002
1112002
An optimistic non-repudiation protocol with transparent trusted third party
O Markowitch, S Kremer
Information Security: 4th International Conference, ISC 2001 Malaga, Spain …, 2001
952001
Formal analysis of multiparty contract signing
R Chadha, S Kremer, A Scedrov
Journal of Automated Reasoning 36 (1-2), 39-83, 2006
942006
Computationally sound implementations of equational theories against passive adversaries
M Baudet, V Cortier, S Kremer
Automata, Languages and Programming: 32nd International Colloquium, ICALP …, 2005
852005
Automated analysis of security protocols with global state
S Kremer, R Künnemann
Journal of Computer Security 24 (5), 583-616, 2016
842016
Optimistic non-repudiable information exchange
S Kremer, O Markowitch
Symposium on Information Theory in the Benelux, 139-146, 2000
842000
A multi-party optimistic non-repudiation protocol
O Markowitch, S Kremer
Information Security and Cryptology—ICISC 2000: Third International …, 2001
822001
A multi-party non-repudiation protocol
S Kremer, O Markowitch
Information Security for Global Information Infrastructures: IFIP TC11 …, 2000
792000
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
782011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20