Jakob Feldtkeller

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 16

Top Topics

Security Issues

Formal Verification

Clonal Selection Algorithm

Information Leakage

Top Venues

IACR Cryptol. ePrint Arch.

IACR Trans. Cryptogr. Hardw. Embed. Syst.

ACM Trans. Embed. Comput. Syst.

Publications

Sonia Belaïd, Jakob Feldtkeller, Tim Güneysu, Anna Guinet, Jan Richter-Brockmann, Matthieu Rivain, Pascal Sasdrich, Abdul Rahman Taleb
Formal Definition and Verification for Combined Random Fault and Random Probing Security. IACR Cryptol. ePrint Arch. 2024 (2024)
Christof Beierle, Jakob Feldtkeller, Anna Guinet, Tim Güneysu, Gregor Leander, Jan Richter-Brockmann, Pascal Sasdrich
INDIANA - Verifying (Random) Probing Security through Indistinguishability Analysis. IACR Cryptol. ePrint Arch. 2024 (2024)
Jakob Feldtkeller, Jan Richter-Brockmann, Pascal Sasdrich, Tim Güneysu
Combined Threshold Implementation. IACR Cryptol. ePrint Arch. 2024 (2024)
Jakob Feldtkeller, Tim Güneysu, Patrick Schaumont
Quantitative Fault Injection Analysis. ASIACRYPT (4) (2023)
Jakob Feldtkeller, Pascal Sasdrich, Tim Güneysu
Challenges and Opportunities of Security-Aware EDA. ACM Trans. Embed. Comput. Syst. 22 (3) (2023)
Jakob Feldtkeller, Tim Güneysu, Thorben Moos, Jan Richter-Brockmann, Sayandeep Saha, Pascal Sasdrich, François-Xavier Standaert
Combined Private Circuits - Combined Security Refurbished. IACR Cryptol. ePrint Arch. 2023 (2023)
Jakob Feldtkeller, Tim Güneysu, Patrick Schaumont
Quantitative Fault Injection Analysis. IACR Cryptol. ePrint Arch. 2023 (2023)
Jakob Feldtkeller, Tim Güneysu, Thorben Moos, Jan Richter-Brockmann, Sayandeep Saha, Pascal Sasdrich, François-Xavier Standaert
Combined Private Circuits - Combined Security Refurbished. CCS (2023)
Jan Richter-Brockmann, Jakob Feldtkeller, Pascal Sasdrich, Tim Güneysu
VERICA - Verification of Combined Attacks Automated formal verification of security against simultaneous information leakage and tampering. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2022 (4) (2022)
Jakob Feldtkeller, Jan Richter-Brockmann, Pascal Sasdrich, Tim Güneysu
CINI MINIS: Domain Isolation for Fault and Combined Security. CCS (2022)
Jakob Feldtkeller, David Knichel, Pascal Sasdrich, Amir Moradi, Tim Güneysu
Randomness Optimization for Gadget Compositions in Higher-Order Masking. IACR Cryptol. ePrint Arch. 2022 (2022)
Jan Richter-Brockmann, Jakob Feldtkeller, Pascal Sasdrich, Tim Güneysu
VERICA - Verification of Combined Attacks: Automated formal verification of security against simultaneous information leakage and tampering. IACR Cryptol. ePrint Arch. 2022 (2022)
Jakob Feldtkeller, David Knichel, Pascal Sasdrich, Amir Moradi, Tim Güneysu
Randomness Optimization for Gadget Compositions in Higher-Order Masking. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2022 (4) (2022)
Jakob Feldtkeller, Jan Richter-Brockmann, Pascal Sasdrich, Tim Güneysu
CINI MINIS: Domain Isolation for Fault and Combined Security. IACR Cryptol. ePrint Arch. 2022 (2022)
Jan Philipp Thoma, Jakob Feldtkeller, Markus Krausz, Tim Güneysu, Daniel J. Bernstein
BasicBlocker: ISA Redesign to Make Spectre-Immune CPUs Faster. RAID (2021)
Jan Philipp Thoma, Jakob Feldtkeller, Markus Krausz, Tim Güneysu, Daniel J. Bernstein
BasicBlocker: Redesigning ISAs to Eliminate Speculative-Execution Attacks. CoRR (2020)