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:
Low-Latency Hardware Masking with Application to AES 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 Combined Private Circuits - Combined Security Refurbished INDIANA - Verifying (Random) Probing Security through Indistinguishability Analysis Revisiting Fault Adversary Models - Hardware Faults in Theory and Practice SILVER – Statistical Independence and Leakage Verification FIVER – Robust Verification of Countermeasures against Fault Injections 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 VERICA-Verification of Combined Attacks: Automated formal verification of security against simultaneous information leakage and tampering
