
Pascal Sasdrich
Institution: Ruhr-Universität Bochum / CASA
Research Hub(s):
Hub B: Eingebettete Sicherheit
E-Mail: Pascal.Sasdrich@rub.de
Adresse: ID 2/645
Publikationen:
VERICA-Verification of Combined Attacks: Automated formal verification of security against simultaneous information leakage and tampering Challenges and Opportunities of Security-Aware EDA Risky Translations: Securing TLBs against Timing Side Channels CINI MINIS: Domain Isolation for Fault and Combined Security SKINNY-AEAD and SKINNY-Hash Randomness Optimization for Gadget Compositions in Higher-Order Masking Revisiting Fault Adversary Models - Hardware Faults in Theory and Practice Low-Latency Hardware Masking with Application to AES Transitional Leakage in Theory and Practice - Unveiling Security Flaws in Masked Circuits Generic Hardware Private Circuits - Towards Automated Generation of Composable Secure Gadgets Automated Generation of Masked Hardware FIVER – Robust Verification of Countermeasures against Fault Injections SILVER – Statistical Independence and Leakage Verification