LEHRSTUHL FÜR ENTWURF INFORMATIONSTECHNISCHER SYSTEME
CHAIR OF ELECTRONIC DESIGN AUTOMATION
Upcoming Exams WS2022/23
Examination: Architecture of Digital Systems I
Examination: Verification of Digital Systems
Examination: Synthesis and Optimization of Microelectronic Systems II
Examination: Architecture of Digital Systems II
Examination: Robust Digital Systems
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
July 19, 2022
Professor Dr. Wolfgang Kunz is a new member of the renowned European academy "Academia Europaea".
The Academia Europaea has around 4,500 members worldwide, including 72 Nobel Prize winners.
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.