Groups

Our mission is to study and develop the technical foundations and interdisciplinary aspects of security and privacy. Currently these are our research topics:

Embedded Security - Christof Paar

Formally Verified Security - Cătălin Hrițcu

Principles of Security and Privacy - Gilles Barthe