The principle of guarantee availability for security protocol analysis Giampaolo Bella Regular Contribution 09 December 2009 Pages: 83 - 97
Formal validation of automated policy refinement in the management of network security systems João Porto de AlbuquerqueHeiko KrummPaulo Lício de Geus Regular Contribution 20 February 2010 Pages: 99 - 125
Counting equations in algebraic attacks on block ciphers Lars R. KnudsenCharlotte V. Miolane Regular Contribution 15 December 2009 Pages: 127 - 135
On hash functions using checksums Praveen GauravaramJohn KelseySøren S. Thomsen Regular Contribution 31 December 2009 Pages: 137 - 151