LEHRSTUHL FÜR ENTWURF INFORMATIONSTECHNISCHER SYSTEME
CHAIR OF ELECTRONIC DESIGN AUTOMATION
Upcoming Exams WS2022/23
Intel Security Award
August 10, 2022
We are happy to have received the Intel Hardware Security Academic Award 2022.
Intel rewards our work on formal verification of hardware security, as reported in
J. Müller; Mo Fadiheh; A. Duque Anton; T. Eisenbarth; D. Stoffel and W. Kunz: “A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level" IEEE/ACM Design Automation Conference 2021 (DAC).
Elected into Academia Europaea
Best Paper Award DAC 2022
July 13, 2022
“Towards a Formally Verified Hardware Root-of-Trust for Data-Oblivious Computing,”
by Lucas Deutschmann, Johannes Müller, Mohammad R. Fadiheh, Dominik Stoffel, and Wolfgang Kunz
wins the prestigious Best Paper Award at Design Automation Conference (DAC) 2022 in July.