Brügger, Lukas

ETH Zürich
Lukas Brügger
Informationssicherheit, Basin
CNB F 105.1
Universitätstrasse 6
8092 Zuerich

Phone: +41 44 632 72 57
E-Mail: 

Research Interests

My current research is concerned about Model Driven Security. The goal of MDS is to have one unified, formal methodology for the development of secure systems. Building blocks of this approach are SecureUML, HOL-OCL, and HOL-TestGen. For more information on the current project, check the Project Homepage.

Publications

• Achim D. Brucker and Lukas Brügger and Paul Kearney and Burkhart Wolff. An Approach to Modular and Testable Security Models of Real-world Health-Care Applications. In ACM symposium on access control models and technologies (SACMAT), ACM Press, 2011.
  [PDF]
• Achim D. Brucker and Lukas Brügger and Matthias P. Krieger and Burkhart Wolff. HOL-TestGen 1.5.0 User Guide. ETH Zurich, Technical Report 670, 2010. [PDF]
• Achim D. Brucker and Lukas Brügger and Paul Kearney and Burkhart Wolff. Verified firewall policy transformations for test case generation. In Ana Cavalli and Sudipto Ghosh, editors, International Conference on Software Testing (ICST10), Lecture Notes in Computer Science. Springer-Verlag, 2010. [PDF] [Presentation]
• Achim D. Brucker and Lukas Brügger and Burkhart Wolff. Model-based Firewall Conformance Testing. In Testcom/FATES 2008. Lecture Notes in Computer Science Springer-Verlag, 2008.
  [PDF, © Springer-Verlag]
• Achim D. Brucker and Lukas Brügger and Burkhart Wolff. Verifying Test-Hypotheses - An Experiment in Test and Proof.
  In Model-based Testing (MBT 2008). Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers. 2008.
  [PDF]
• Paul Kearney and Lukas Brügger: A risk-driven security analysis method and modelling language.
  In BT Technology Journal Vol. 25 No. 1, January 2007
  [© Springer Verlag]

Theses

• Proof Support for IMP++ in HOL-OCL. A typed verification approach for object-oriented programs.
  Master Thesis, ETH Zürich, 2007.
  [Report], [Presentation]
• Testing Firewall Policies using HOL-TestGen.
  Semester Thesis, ETH Zürich, 2005.
  [Report], [Presentation]

Supervised Theses

• Manuel Krucker. A Package for Well-formedness Checking and Proof-obligation Generation for UML/OCL Specifications. Master Thesis. 2008.

Courses

• Fall 2010: teaching assistant for Einsatz von Informatikmitteln
• Fall 2009: teaching assistant for Einsatz von Informatikmitteln
• Spring 2009: teaching assistant for Informatik II (D-BAUG)
• Fall 2008: teaching assistant for Applied Security Laboratory
• Spring 2008: teaching assistant for Information Security
• Fall 2007: teaching assistant for Einsatz von Informatikmitteln