Jakob Feldtkeller
Institution: Ruhr-Universität Bochum / CASA
Research Hub(s):
Hub B: Eingebettete Sicherheit
E-Mail: jakob.feldtkeller@rub.de
Adresse: ID 2/651
Publikationen:
BasicBlocker: ISA Redesign to Make Spectre-Immune CPUs Faster VERICA-Verification of Combined Attacks: Automated formal verification of security against simultaneous information leakage and tampering Randomness Optimization for Gadget Compositions in Higher-Order Masking CINI MINIS: Domain Isolation for Fault and Combined Security Challenges and Opportunities of Security-Aware EDA