|
• |
S. Delaune, S. Kremer, M. Ryan and G. Steel. A Formal Analysis of Authentication in the TPM. In FAST'10. 2010. To appear. ( PDF | PS | PS.GZ | BibTeX )
|
|
• |
S. Delaune, S. Kremer, M. Ryan and G. Steel. A Formal Analysis of Authentication in the TPM (short paper). In SecCo'10. 2010. To appear. ( PDF | PS | PS.GZ | BibTeX )
|
|
• |
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 )
|
