|
• |
B. Smyth, M. D. Ryan, S. Kremer and M. Kourjieh. Towards automatic analysis of election verifiability properties. In ARSPA-WITS'10, LNCS. Springer, 2010. To appear. ( PDF | BibTeX )
|
|
• |
B. Smyth, M. D. Ryan, S. Kremer and M. Kourjieh. Election verifiability in electronic voting protocols (Preliminary
version). In WISSEC'09. 2009. ( PDF | BibTeX )
|
|
• |
M. Boreale and S. Kremer (eds.). Proceedings of the 7th International Workshop on Security
Issues in Concurrency (SecCo'09), Bologna, Italy, October 2009, Electronic Proceedings in Theoretical Computer Science 7. ( Web page | BibTeX )
|
|
• |
S. Delaune, S. Kremer and O. Pereira. Simulation based security in the applied pi calculus. In FSTTCS'09, Leibniz International Proceedings in Informatics 4, pages 169-180. Leibniz-Zentrum für Informatik, 2009. ( PDF | PDF (long version) | BibTeX )
|
|
• |
S. Kremer, A. Mercier and R. Treinen. Reducing Equational Theories for the Decision of Static Equivalence. In ASIAN'09, LNCS 5913, pages 94-108. Springer, 2009. ( PDF | PS | PS.GZ | PDF (long version) | BibTeX )
|
