Jakob Feldtkeller
Institution: Ruhr-Universität Bochum / CASA
Research Hub(s):
Hub B: Eingebettete Sicherheit - CASA 1.0, 2019-2025
E-Mail: jakob.feldtkeller@rub.de
Adresse: ID 2/651
Publikationen:
BasicBlocker: ISA Redesign to Make Spectre-Immune CPUs Faster Combined Private Circuits - Combined Security Refurbished Quantitative Fault Injection Analysis INDIANA - Verifying (Random) Probing Security through Indistinguishability Analysis Short Paper: Mechanized Proofs of Masking Security Combined Threshold Implementation Challenges and Opportunities of Security-Aware EDA 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
