VERICA - Verification of Combined Attacks Automated formal verification of security against simultaneous information leakage and tampering

Jan Richter-Brockmann, Jakob Feldtkeller, Pascal Sasdrich, Tim Güneysu
January, 2022
PDF Cite DOI
Type
2
Publication
IACR Transactions Cryptographic Hardware Embedded Systems (TCHES)
Pascal Sasdrich
Pascal Sasdrich
Emmy Noether
Research Group Leader

My research interests include hardware security, secure design, and security verification.