1. Detection and analysis of eavesdropping in anonymous communication networks

   • Sambuddho Chakravarty
   • Georgios Portokalidis
   • Angelos D. Keromytis

   Regular Contribution 18 August 2014 Pages: 205 - 220

   

2. Analysis of two authorization protocols using Colored Petri Nets

   • Younes Seifi
   • Suriadi Suriadi
   • Colin Boyd

   Regular Contribution 03 July 2014 Pages: 221 - 247

   

3. Automated inference of past action instances in digital investigations

   • Joshua I. James
   • Pavel Gladyshev

   Regular contribution 01 July 2014 Pages: 249 - 261

   

4. A new algorithm for low-deterministic security

   • Dennis Giffhorn
   • Gregor Snelting

   Regular Contribution 15 August 2014 Pages: 263 - 287

   

5. GPU-assisted malware

   • Giorgos Vasiliadis
   • Michalis Polychronakis
   • Sotiris Ioannidis

   Regular Contribution 28 August 2014 Pages: 289 - 297