Computer-Aided Hardware Security Verification
In this session Dr. Pascal Sasdrich gives an insight into cryptography. He explains, why we need to verify hardware security.
The full recording can be found here:
Our speaker
Dr. Pascal Sasdrich leads the research group on Computer-Aided Verification of Physical Security Properties (CAVE) at the Ruhr-Universität Bochum.