Computer-Aided Hardware Security Verification
Dr. Pascal Sasdrich gibt in dieser Sitzung einen Einblick in die Kryptographie. Dabei erklärt er, warum Hardwaresicherheit verifiziert werden muss.
Die vollständige Aufzeichnung findet sich hier:
Unser Redner
Dr. Pascal Sasdrich leitet die Forschungsgruppe Computer-Aided Verification of Physical Security Properties (CAVE) an der Ruhr-Universität Bochum.