Uni-Logo
English       Login
Rechnerarchitektur - Arbeitsgruppe Bernd Becker
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 

Wintersemester 21/22

Verifikation Digitaler Schaltungen / Verification of Digital Circuits Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE

Sommersemester 2021

Quantitative Verification Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE.

Wintersemester 2020/21

Verifikation Digitaler Schaltungen / Verification of Digital Circuits Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE
Introduction to Embedded Systems / Einführung in Embedded Systems
Vorlesung im Bachelor-Studiengang Embedded Systems Engineering sowie Spezialvorlesung im Bachelor-/Masterstudiengang Informatik (3+1 SWS, 6 ETCS-Punkte).

 
Hardware Security and Trust Die Konvergenz von IT-Systemen, Datennetzwerken und allgegenwärtigen eingebetteten Geräten in sogenannten Cyber Physical Systems hat zum Entstehen neuer Sicherheitsbedrohungen und -anforderungen im Zusammenhang mit der System-Hardware geführt. Die Manipulation von Hardware-Komponenten, die Sicherheitsfunktionen implementieren, kann die Systemintegrität beeinträchtigen, unautorisierten Zugang zu geschützten Daten ermöglichen und geistiges Eigentum (Intellectual Property) gefährden, Diese Gefährdungen zu adressieren, ist wesentlich, wenn verhindert werden soll, dass Hardware zur Schwachstelle des gesamten Systems wird. Zumindest ein Grundlagenwissen in "Hardware Security and Trust" ist daher wichtig für jeden Systemingenieur. Zu Beginn werden die (notwendigen) Grundlagen über Kryptographie, Authentifizierung, Secret Sharing, VLSI Entwurf, Test und Verifikation gelegt. Dann erfolgt eine Einführung in Hardware Security und Trust, bei der folgende Themen angesprochen werden: physical and invasive attacks, side-channel attacks, physically unclonable functions, hardware-based true random number generators, watermarking of Intellectual Property (IP) blocks, FPGA security, passive and active metering for prevention of piracy, access control, hardware Trojan detection and isolation in IP cores and integrated circuits (ICs).
Rechnerachitekur / Computer Architecture Elective for Bachelor/Master-course computer science, and mandatory for Bachelor/Master-course ESE. This course is intended for M.Sc. and B.Sc. students with a background in digital circuits and programming in C/C++. Students will be introduced to methods of designing computers, which will cover the topics of testing and verification of digital circuits, processor data and control paths, pipelining and parallelism. We will look into the RISC-V instruction set and related CPUs. You will learn to maximize the performance of your computing machinery and how to guarantee the correctness of circuits.
(Pro-)Seminar: Methods for Analysis and Quality Assurance in Computer Aided Engineering (CAE) Dieses (Pro-)Seminar befasst sich mit aktuellen Forschungsthemen im Bereich CAE. Schwerpunkte werden „Formale Methoden (IC3/PDR, POMDPs und MaxSAT) und Lernverfahren (Machine Learning Techniken mit Anwendung in der Mustererkennung von Time-Series Data) sein.