Sitemap

• Institute of Information Security

• Institute of Information Security - 25 February 2013

  • Events & News

  • News - 29 July 2011
  • Talks and News 2013 - 23 May 2013
    • Talks and News 2012 - 14 January 2013
    • Talks and News 2011 - 14 January 2013
  • Open Positions - 13 June 2012

  • About us

  • About us - 21 March 2012
  • Mission - 31 August 2011
  • Social events - 29 July 2011
    • Institute dinner 2013 - 30 January 2013
    • BBQ summer 2012 - 24 August 2012
    • Summer Outing 2012 - 6 July 2012
    • Summer Outing 2011 - 31 August 2011
    • Ascona Retreat 2011 - 6 July 2012
    • Celebrations - 3 September 2012
  • History - 30 November 2012

  • People

  • People - 23 May 2013
  • Alumni - 23 May 2013
  • Visitors - 5 February 2013
  • Basin, David, Prof. Dr. - 3 October 2011
  • Conchinha Montalto, Bruno José - 18 April 2013
    • Prototype Implementation of SymbProb - 18 April 2013
  • Cremers, Cas, Dr. - 3 October 2011
  • Feltz, Michèle - 18 September 2012
  • Fürst, Andreas - 28 July 2011
  • Geiser, Barbara - 28 July 2011
  • Guarnieri, Marco - 26 October 2012
  • Harvan, Matus - 3 October 2011
  • Hoang-Do, Thai Son - 3 October 2011
  • Horvat, Marko - 9 January 2012
  • Klaedtke, Felix, Dr. - 3 October 2011
  • Lochbihler, Andreas - 17 May 2013
  • Maric, Ognjen - 28 July 2011
  • Marinovic, Srdan (also Srdjan) - 24 May 2013
  • Nguyen, Thanh Binh - 28 July 2011
  • Ortiz Jaureguizar, Gonzalo - 19 February 2013
  • Petric Maretic, Grgur - 21 March 2012
  • Radomirovic, Sasa, Dr. - 13 July 2012
  • Sasse, Ralf - 20 September 2012
  • Schläpfer, Michael - 6 February 2013
  • Sprenger, Christoph, Dr. - 3 October 2011
  • Torabi Dashti, Mohammad, Dr. - 15 October 2012
  • Tsankov, Petar - 1 May 2013
  • Weghorn, Thilo - 23 May 2013
  • Zalinescu, Eugen, Dr. - 3 October 2011
  • Capkun, Srdjan, Prof. Dr. - 14 November 2011
  • Gervais, Arthur - 1 February 2013
  • Jayaram Masti, Ramya - 3 October 2011
  • Nikolaos Karapanos - 24 October 2012
  • Kostiainen, Kari - 8 November 2012
  • Malisa, Luka - 15 November 2011
  • Marforio, Claudio - 3 October 2011
  • Ranganathan, Aanjhan - 3 October 2011
  • Reardon, Joel - 3 October 2011
  • Ritzdorf, Hubert - 2 April 2013
  • Soriente, Claudio, Dr. - 29 February 2012
  • Yu, Der-Yeuan - 6 December 2012
  • Perrig, Adrian, Prof. Dr. - 30 November 2012
  • Basescu, Cristina - 15 January 2013
  • Li, Qi, Dr. - 6 March 2013
  • Schuppli, Katharina - 20 December 2012
  • Szalachowski, Pawel - 6 March 2013

  • Research

  • Research - 29 July 2011
  • Projects - 1 February 2013
    • DEPLOY - 6 July 2012
    • Model-based Testing of Security Policies - 1 February 2013
    • Usage Control in Ubiquitous Communication - 6 January 2012
    • SPINACH - 11 October 2011
    • Runtime Policy Monitoring and Enforcement - 11 May 2013
  • Completed Projects - 1 February 2013
  • Publications - 14 January 2013
    • 2013 InfSec Group - 16 May 2013
    • 2012 InfSec Group - 7 January 2013
    • 2011 InfSec Group - 11 September 2012
    • 2010 InfSec - 6 December 2011
    • 2009 InfSec - 5 December 2011
    • 2008 InfSec - 1 December 2011
    • 2007 InfSec - 1 December 2011
    • 2006 InfSec - 5 September 2012
    • 2005 InfSec - 29 November 2011
    • 2004 InfSec - 13 July 2012
    • 2003 InfSec - 13 July 2012
    • 2002 InfSec - 25 June 2012
    • 2001 InfSec - 25 November 2011
    • 2000 InfSec - 24 May 2012
    • 1999 InfSec - 24 May 2012
    • 1998 InfSec - 25 November 2011
    • 1997 InfSec - 25 November 2011
  • Software - 6 July 2012
    • FAST - 6 July 2012
    • Process Algebraic Mid-Point Contruction Framework - 6 July 2012
    • MonPoly - 6 July 2012
    • ProtoVeriPhy - 6 July 2012
    • The Scyther tool - 14 July 2012
    • The scyther-proof security protocol verification tool - 14 July 2012
    • Tamarin Prover - 30 January 2013
    • SecFuzz: Fuzz-testing Security Protocols - 22 April 2013
    • fwtest - 6 July 2012

  • Education

  • Education - 29 July 2011
  • Spring semester 2013 - 8 May 2013
    • Formal Methods and Functional Programming - 21 May 2013
      • Haskell Links - 18 February 2013
      • Course Material - 23 May 2013
    • Formal Methods for Information Security - 21 February 2013
      •  - 21 May 2013
    • Information Security - 11 March 2013
      • Course Material - 24 May 2013
  • Autumn semester 2012 - 17 September 2012
    • Applied Security Laboratory - 6 August 2012
      • Information Security Laboratory - 6 August 2012
      • Course Material - 9 October 2012
    • Current Topics in Information Security - 17 September 2012
      • Available papers - 24 September 2012
      • Schedule - 22 October 2012
      • Grading criteria - 5 October 2011
    • Security Engineering - 13 November 2012
      •  - 19 December 2012
    • Formal System Development - 11 December 2012
      • Course Material - 21 December 2012
  • Spring semester 2012 - 16 February 2012
    • Formal Methods and Functional Programming - 21 May 2013
      • Haskell Links - 21 March 2012
      • Course Material - 3 August 2012
    • Information Security - 20 February 2012
      • Course Material - 6 June 2012
    • Formal Methods for Information Security - 14 June 2012
      • Course material for FMSEC lecture SS 2012 - 23 July 2012
  • Autumn semester 2011 - 21 January 2012
    • Formal System Development - 23 December 2011
      • Course Material - 5 January 2012
    • Security Engineering - 5 October 2011
      • Exam - 21 December 2011
    • Applied Security Laboratory - 21 December 2011
      • Information Security Laboratory - 3 October 2011
      • Course Material - 5 December 2011
    • Current Topics in Information Security - 5 October 2011
      • Available papers - 5 October 2011
      • Schedule - 29 November 2011
      • Grading criteria - 5 October 2011
  • Former semesters - 4 October 2011
  • Master in Information Security - 12 October 2011
  • Student projects - 17 May 2013
    • Former student projects - 2 May 2013

  • Intranet

  • Intranet - 12 April 2013
  • Advertising open positions - 3 November 2011
  • Business cards - 1 February 2013
  • Czardoms - 14 March 2013
  • EU-Projects FP7 - 1 February 2013
  • Financial regulations - 23 May 2013
  • Pin for ETH card - 30 November 2012
  • Printers and scanners - 5 September 2012
  • Retreat 2011 - 29 August 2011
  • Supervision - 6 March 2013
  • The InfSec gallery - 29 August 2011
  • The InfSec library - 26 October 2012
  • The InfSec SVN repository - 17 February 2012
  • Useful information for PhD students - 22 March 2012

  • Contact

  • Contact - 28 July 2011
  • Location - 28 July 2011

  • Imprint

  • Imprint - 29 September 2011

  • Sitemap

  • Sitemap - 23 July 2007

  • Help

  • Help - 23 July 2007
  • Navigation - 6 December 2004

  • Page Mailer

  • Page Mailer - 23 July 2007
• Applied Information Security - A Hands-on Approach - 10 December 2012