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

Type
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.