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