|
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:
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.
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