1. Tracing the evolution of HCI patterns as an interaction design tool

   • Ahmed Seffah
   • Mohamed Taleb

   Original Paper 22 December 2011 Pages: 93 - 109

2. Game-based verification of contract signing protocols with minimal messages

   • Ying Zhang
   • Chenyi Zhang
   • Sjouke Mauw

   Original Paper 21 March 2012 Pages: 111 - 124

3. Proposed future Internet

   • Norman Schneidewind

   Original Paper 30 November 2011 Pages: 125 - 173