|
• |
S. Kremer, M. D. Ryan and B. Smyth. Election verifiability in electronic voting protocols. In ESORICS'10, LNCS. Springer, 2010. To appear. ( PDF | BibTeX )
|
|
• |
S. Kremer, A. Mercier and R. Treinen. Reducing Equational Theories for the Decision of Static Equivalence. Journal of Automated Reasoning, 2010. To appear. ( PDF | BibTeX )
|
|
• |
V. Cortier, S. Kremer and B. Warinschi. A Survey of Symbolic Methods in Computational Analysis of Cryptographic
Systems. Journal of Automated Reasoning, 2010. To appear. ( PDF | BibTeX )
|
|
• |
Ş. Ciobâcă, S. Delaune and S. Kremer. Computing knowledge in security protocols under convergent equational
theories. Journal of Automated Reasoning, 2010. To appear. ( PDF | BibTeX )
|
|
• |
S. Delaune, S. Kremer and M. D. Ryan. Verifying Privacy-Type Properties of Electronic Voting Protocols:
A Taster. In Towards Trustworthy Elections - New Directions in
Electronic Voting, LNCS 6000, pages 289-309. Springer, 2010. ( PDF | BibTeX )
|
