
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
Foundations of Security and Privacy - Gilles Barthe
Heinz Nixdorf Research Group for Cryptocurrencies and Smart Contracts - Clara Schneidewind
Responsible Computing - Asia Biega