LEHRSTUHL FÜR ENTWURF INFORMATIONSTECHNISCHER SYSTEME
CHAIR OF ELECTRONIC DESIGN AUTOMATION
Upcoming Exams WS2022/23
Examination: Architecture of Digital Systems I
Exam Date: | 2023-02-16 2023-04-05 |
Examination: Verification of Digital Systems
Exam Date: | 2023-02-22 2023-03-28 |
Examination: Synthesis and Optimization of Microelectronic Systems II
Exam Date: | 2023-03-23 |
Examination: Architecture of Digital Systems II
Exam Date: | 2023-02-15 2023-03-30 |
Examination: Robust Digital Systems
Exam Date: | 2023-04-06 |
NEWS
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).
Further information:
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.
further information:

Best Paper Award DAC 2022
July 13, 2022
Our paper,
“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.