Publications

Jakob Feldtkeller, Jan Richter-Brockmann, Pascal Sasdrich, Tim Güneysu (2024).
Combined Threshold Implementation. IACR Transactions Cryptographic Hardware Embedded Systems (TCHES).

Christof Beierle, Jakob Feldtkeller, Anna Guinet, Tim Güneysu, Gregor Leander, Jan Richter-Brockmann, Pascal Sasdrich (2024).
INDIANA - Verifying (Random) Probing Security through Indistinguishability Analysis. Cryptology ePrint Archive, Paper 2024/833.

Sonia Belaid, Jakob Feldtkeller, Tim Güneysu, Anna Guinet, Jan Richter-Brockmann, Matthieu Rivain, Pascal Sasdrich, Abdul Rahman Taleb (2024).
Formal Definition and Verification for Combined Random Fault and Random Probing Security. Cryptology ePrint Archive, Paper 2024/757.

Fabian Buschkowski, Georg Land, Jan Richter-Brockmann, Pascal Sasdrich, Tim Güneysu (2024).
HADES: Automated Hardware Design Exploration for Cryptographic Primitives. Cryptology ePrint Archive, Paper 2024/130.

Florian Stolz, Jan Philipp Thoma, Pascal Sasdrich, Tim Güneysu (2023).
Risky Translations: Securing TLBs against Timing Side Channels. IACR Transactions Cryptographic Hardware Embedded Systems (TCHES).

Jan Richter-Brockmann, Pascal Sasdrich, Tim Güneysu (2023).
Revisiting Fault Adversary Models - Hardware Faults in Theory and Practice. IEEE Transactions on Computers (TC).

Florian Stolz, Marc Fyrbiak, Pascal Sasdrich, Tim Güneysu (2023).
Recommendation for a Holistic Secure Embedded ISA Extension. Applied Cryptography and Network Security (ACNS).

Fabian Buschkowski, Pascal Sasdrich, Tim Güneysu (2023).
EasiMask - Towards Efficient, Automated, and Secure Implementation of Masking in Hardware. Design, Automation & Test in Europe Conference & Exhibition (DATE).

Jakob Feldtkeller, Tim Güneysu, Thorben Moos, Jan Richter-Brockmann, Sayandeep Saha, Pascal Sasdrich, François-Xavier Standaert (2023).
Combined Private Circuits -- Combined Security Refurbished. ACM Conference on Computer and Communications Security (CCS).

Jakob Feldtkeller, Pascal Sasdrich, Tim Güneysu (2023).
Challenges and Opportunities of Security-Aware EDA. ACM Transactions on Embedded Computing Systems.

Jan Richter-Brockmann, Jakob Feldtkeller, Pascal Sasdrich, Tim Güneysu (2022).
VERICA - Verification of Combined Attacks Automated formal verification of security against simultaneous information leakage and tampering. IACR Transactions Cryptographic Hardware Embedded Systems (TCHES).

Nicolai Müller, David Knichel, Pascal Sasdrich, Amir Moradi (2022).
Transitional Leakage in Theory and Practice Unveiling Security Flaws in Masked Circuits. IACR Transactions Cryptographic Hardware Embedded Systems (TCHES).

Jakob Feldtkeller, David Knichel, Pascal Sasdrich, Amir Moradi, Tim Güneysu (2022).
Randomness Optimization for Gadget Compositions in Higher-Order Masking. IACR Transactions Cryptographic Hardware Embedded Systems (TCHES).

David Knichel, Pascal Sasdrich, Amir Moradi (2022).
Generic Hardware Private Circuits Towards Automated Generation of Composable Secure Gadgets. IACR Transactions Cryptographic Hardware Embedded Systems (TCHES).

Jakob Feldtkeller, Jan Richter-Brockmann, Pascal Sasdrich, Tim Güneysu (2022).
CINI MINIS: Domain Isolation for Fault and Combined Security. ACM Conference on Computer and Communications Security (CCS).

David Knichel, Amir Moradi, Nicolai Müller, Pascal Sasdrich (2022).
Automated Generation of Masked Hardware. IACR Transactions Cryptographic Hardware Embedded Systems (TCHES).

Jan Richter-Brockmann, Aein Rezaei Shahmirzadi, Pascal Sasdrich, Amir Moradi, Tim Güneysu (2021).
FIVER - Robust Verification of Countermeasures against Fault Injections. IACR Transactions Cryptographic Hardware Embedded Systems (TCHES).

Georg Land, Pascal Sasdrich, Tim Güneysu (2021).
A Hard Crystal - Implementing Dilithium on Reconfigurable Hardware. Smart Card Research and Advanced Applications (CARDIS).

Christof Beierle, Jérémy Jean, Stefan Kölbl, Gregor Leander, Amir Moradi, Thomas Peyrin, Yu Sasaki, Pascal Sasdrich, Siang Meng Sim (2020).
SKINNY-AEAD and SKINNY-Hash. IACR Transactions on Symmetric Cryptology (ToSC).

David Knichel, Pascal Sasdrich, Amir Moradi (2020).
SILVER - Statistical Independence and Leakage Verification. Advances in Cryptology (ASIACRYPT).

Pascal Sasdrich, Begül Bilgin, Michael Hutter, Mark E. Marson (2020).
Low-Latency Hardware Masking with Application to AES. IACR Transactions Cryptographic Hardware Embedded Systems (TCHES).

Jan Richter-Brockmann, Pascal Sasdrich, Florian Bache, Tim Güneysu (2020).
Concurrent error detection revisited: hardware protection against fault and side-channel attacks. International Conference on Availability, Reliability and Security (ARES).

Pascal Sasdrich, René Bock, Amir Moradi (2018).
Threshold Implementation in Software - Case Study of PRESENT. Constructive Side-Channel Analysis and Secure Design (COSADE).

Pascal Sasdrich, Michael Hutter (2018).
Protecting Triple-DES Against DPA - A Practical Application of Domain-Oriented Masking. Constructive Side-Channel Analysis and Secure Design (COSADE).

Pascal Sasdrich, Tim Güneysu (2018).
Exploring RFC 7748 for Hardware Implementation: Curve25519 and Curve448 with Side-Channel Protection. Journal Hardware and System Security (HASS).

Pascal Sasdrich, Amir Moradi, Tim Güneysu (2017).
Hiding Higher-Order Side-Channel Leakage - Randomizing Cryptographic Implementations in Reconfigurable Hardware. The Cryptographers’ Track at the RSA Conference (CT-RSA).

Pascal Sasdrich, Tim Güneysu (2017).
Cryptography for Next Generation TLS: Implementing the RFC 7748 Elliptic Curve448 Cryptosystem in Hardware. Design Automation Conference (DAC).

Jérémy Jean, Amir Moradi, Thomas Peyrin, Pascal Sasdrich (2017).
Bit-Sliding: A Generic Technique for Bit-Serial Implementations of SPN-based Primitives - Applications to AES, PRESENT and SKINNY. Cryptographic Hardware and Embedded Systems (CHES).

Pascal Sasdrich, Amir Moradi, Tim Güneysu (2016).
White-Box Cryptography in the Gray Box - - A Hardware Implementation and its Side Channels -. Fast Software Encryption (FSE).

Christof Beierle, Jérémy Jean, Stefan Kölbl, Gregor Leander, Amir Moradi, Thomas Peyrin, Yu Sasaki, Pascal Sasdrich, Siang Meng Sim (2016).
The SKINNY Family of Block Ciphers and Its Low-Latency Variant MANTIS. International Cryptology Conference (CRYPTO).

Pascal Sasdrich, Tim Güneysu (2016).
A grain in the silicon: SCA-protected AES in less than 30 slices. IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP).

Pascal Sasdrich, Oliver Mischke, Amir Moradi, Tim Güneysu (2015).
Side-Channel Protection by Randomizing Look-Up Tables on Reconfigurable Hardware - Pitfalls of Memory Primitives. Constructive Side-Channel Analysis and Secure Design (COSADE).

Pascal Sasdrich, Tim Güneysu (2015).
Implementing Curve25519 for Side-Channel-Protected Elliptic Curve Cryptography. ACM Transactions on Reconfigurable Technology and Systems (TRETS).

Pascal Sasdrich, Amir Moradi, Tim Güneysu (2015).
Affine Equivalence and Its Application to Tightening Threshold Implementations. Selected Areas in Cryptography (SAC).

Pascal Sasdrich, Amir Moradi, Oliver Mischke, Tim Güneysu (2015).
Achieving side-channel protection with dynamic logic reconfiguration on modern FPGAs. IEEE International Symposium on Hardware Oriented Security and Trust (HOST).

Tim Güneysu, Francesco Regazzoni, Pascal Sasdrich, Marcin Wójcik (2014).
THOR - The hardware onion router. International Conference on Field Programmable Logic and Applications (FPL).

Pascal Sasdrich, Tim Güneysu (2014).
Efficient Elliptic-Curve Cryptography Using Curve25519 on Reconfigurable Devices. Reconfigurable Computing: Architectures, Tools, and Applications (ARC).