LEHRSTUHL FÜR ENTWURF INFORMATIONSTECHNISCHER SYSTEME
CHAIR OF ELECTRONIC DESIGN AUTOMATION
NEWS
First Place: Intel Hardware Security Academic Award 2022
Our paper
“A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level"
J. Müller; Mo Fadiheh; A. Duque Anton; T. Eisenbarth; D. Stoffel and W. Kunz
wins the first place at the Intel Hardware Security Academic Award 2022, USENIX Security, Boston, USA.
further information:
New member of the European Academy of Sciences
Professor Dr. Wolfgang Kunz is a new member of the European Academy of Sciences "Academia Europaea".
The Academia Europaea has around 4,500 members worldwide, including 72 Nobel Prize winners.
further information:
Best Paper Award DAC 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.
Upcoming Exams SS2022
Examination: Architecture of Digital Systems I
| Exam Dates: | Mon Mon | 2022-07-25 2022-09-26 |
Examination: Architecture of Digital Systems II
| Exam Dates: | Tue Wed | 2022-07-26 2022-09-28 |
Examination: Verification of Digital Systems
| Exam Dates: | Wed Tue | 2022-07-27 2022-09-27 |
Examination: Robust Digital Systems
| Exam Dates: | Thu Thu | 2022-08-04 2022-10-06 |
Notes:
- For all courses there is an early and a late exam date.
- Exam dates can be booked through the CARMEN system (see section "Exam Information" on the OpenOLAT page).
- Each date has a fixed number of seats (time slots); so dates may become fully booked and unavailable for further bookings.
- If (and only if) an exam date is booked out, the adjacent overflow date may become available.
- The CARMEN system always shows current information about available exam dates.