Jakob Feldtkeller
Orcid: 0000-0001-9797-1257
According to our database1,
Jakob Feldtkeller
authored at least 11 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Formal Definition and Verification for Combined Random Fault and Random Probing Security.
IACR Cryptol. ePrint Arch., 2024
IACR Cryptol. ePrint Arch., 2024
2023
ACM Trans. Embed. Comput. Syst., 2023
IACR Cryptol. ePrint Arch., 2023
2022
VERICA - Verification of Combined Attacks Automated formal verification of security against simultaneous information leakage and tampering.
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022
IACR Cryptol. ePrint Arch., 2022
2021
Proceedings of the RAID '21: 24th International Symposium on Research in Attacks, 2021
2020
CoRR, 2020