Lukas Brügger

ETH Zürich
Lukas Brügger
Informationssicherheit/ZISC
CNB F 105.1
Universitätstrasse 6
8092 Zürich

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]

Teaching

Supervised Theses

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

Open Student Projects

Please contact me if you are interested in a Semester or Master Thesis in the area of Model-driven Security, UML/OCL, formal methods, theorem proving, functional programming, or testing.

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