Fachgebiet Entwurf Informationstechnischer Systeme (EIS)

LEHRSTUHL FÜR ENTWURF INFORMATIONSTECHNISCHER SYSTEME
CHAIR OF ELECTRONIC DESIGN AUTOMATION

Welcome to our website!

On these pages you find information about us [People], our research  [Research] and our teaching [Teaching]. If you are a student, the below announcements will help you at the beginning of the semester to quickly access all needed information regarding upcoming courses.

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:

 Intel

 TUK
 

 

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:

Academia Europaea

TUK

 

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.

 

Design Automation Conference

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.


Zum Seitenanfang