FCS-ARSPA-WITS'08
Using Elyjah to Analyse Java Implementations of Cryptographic Protocols
.pdf

Nordsec 2008
Protocol Analysis in a new LyTE
.pdf

Pasta 2009
Concerning Performance Driven Cryptographic Protocol Development
.pdf