ETH Zuerich - Homepage
Information Security

Lukas Brügger

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

Phone: +41 44 632 72 57

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.




Supervised Theses

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.



Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne graphische Elemente dargestellt. Die Funktionalität der Website ist aber trotzdem gewährleistet. Wenn Sie diese Website regelmässig benutzen, empfehlen wir Ihnen, auf Ihrem Computer einen aktuellen Browser zu installieren. Weitere Informationen finden Sie auf
folgender Seite.

Important Note:
The content in this site is accessible to any browser or Internet device, however, some graphics will display correctly only in the newer versions of Netscape. To get the most out of our site we suggest you upgrade to a newer browser.
More information

© 2011 ETH Zurich | Imprint | Disclaimer | 25 August 2011