Journal Articles

Peer-Reviewed Journal Articles #

TCHES'24
Combined Threshold Implementation. Jakob Feldtkeller, Jan Richter-Brockmann, Pascal Sasdrich and Tim Güneysu. IACR Transactions on Cryptographic Hardware and Embedded Systems Issue 4 (2024) doipaperpreprint
ACM TECS'23
Challenges and Opportunities of Security-Aware EDA. Jakob Feldtkeller, Pascal Sasdrich and Tim Güneysu. ACM Transactions on Embedded Computing Systems 22.3 (2023) doipaper
IEEE TC'23
Revisiting Fault Adversary Models - Hardware Faults in Theory and Practice. Jan Richter-Brockmann, Pascal Sasdrich and Tim Güneysu. IEEE Transactions on Computers 72.2 (2023) doipaperpreprint
TCHES'23
Risky Translations: Securing TLBs against Timing Side Channels. Florian Stolz, Jan Philipp Thoma, Pascal Sasdrich and Tim Güneysu. IACR Transactions on Cryptographic Hardware and Embedded Systems Issue 1 (2023) doipaperpreprintslides
TCHES'23
VERICA - Verification of Combined Attacks. Automated Formal Verification of Security against Simultaneous Information Leakage and Tampering. Jan Richter-Brockmann, Jakob Feldtkeller, Pascal Sasdrich and Tim Güneysu. IACR Transactions on Cryptographic Hardware and Embedded Systems Issue 4 (2023) artifactscodedoipaperpreprintslides
TCHES'22
Randomness Optimization for Gadget Compositions in Higher-Order Masking. Jakob Feldtkeller, David Knichel, Pascal Sasdrich, Amir Moradi and Tim Güneysu. IACR Transactions on Cryptographic Hardware and Embedded Systems Issue 4 (2022) codedoipaperpreprintslides
TCHES'22
Transitional Leakage in Theory and Practice. Unveiling Security Flaws in Masked Circuits. Nicolai Müller, David Knichel, Pascal Sasdrich and Amir Moradi. IACR Transactions on Cryptographic Hardware and Embedded Systems Issue 2 (2022) codedoipaperpreprintslides
TCHES'22
Generic Hardware Private Circuits. Towards Automated Generation of Composable Secure Gadgets. David Knichel, Pascal Sasdrich and Amir Moradi. IACR Transactions on Cryptographic Hardware and Embedded Systems Issue 1 (2022) codedoipaperpreprintslides
TCHES'22
Automated Generation of Masked Hardware. David Knichel, Amir Moradi, Nicolai Müller and Pascal Sasdrich. IACR Transactions on Cryptographic Hardware and Embedded Systems Issue 1 (2022) codedoipaperpreprintslides
TCHES'21
FIVER - Robust Verification of Countermeasures against Fault Injections. Jan Richter-Brockmann, Aein Rezaei Shahmirzadi, Pascal Sasdrich, Amir Moradi and Tim Güneysu. IACR Transactions on Cryptographic Hardware and Embedded Systems Issue 4 (2021) artifactscodedoipaperpreprintvideo
ToSC'20
SKINNY-AEAD and SKINNY-Hash. Christof Beierle, Jérémy Jean, Stefan Kölbl, Gregor Leander, Amir Moradi, Thomas Peyrin, Yu Sasaki, Pascal Sasdrich and Siang Meng Sim. IACR Transactions on Symmetric Cryptology Issue 1 (2020) doipapervideo
TCHES'20
Low-Latency Hardware Masking with Application to AES. Pascal Sasdrich, Begül Bilgin, Michael Hutter and Mark E. Marson. IACR Transactions on Cryptographic Hardware and Embedded Systems Issue 2 (2020) doipapervideo
HASS'18
Exploring RFC 7748 for Hardware Implementation: Curve25519 and Curve448 with Side-Channel Protection. Pascal Sasdrich and Tim Güneysu. Journal of Hardware and Systems Security 2.4 (2018) doipaper
ACM TRETS'15
Implementing Curve25519 for Side-Channel-Protected Elliptic Curve Cryptography. Pascal Sasdrich and Tim Güneysu. ACM Transactions on Reconfigurable Technology and Systems 9.1 (2015) doipaper