Pascal Sasdrich

发表

VERICA - Verification of Combined Attacks: Automated formal verification of security against simultaneous information leakage and tampering

T. Güneysu, Jan Richter-Brockmann, Jakob Feldtkeller, 2022, IACR Cryptol. ePrint Arch..

Risky Translations: Securing TLBs against Timing Side Channels

Jan Philipp Thoma, T. Güneysu, Pascal Sasdrich, 2022, IACR Cryptol. ePrint Arch..

The SKINNY Family of Block Ciphers and its Low-Latency Variant MANTIS

Thomas Peyrin, Yu Sasaki, Stefan Kölbl, 2016, IACR Cryptol. ePrint Arch..

Transitional Leakage in Theory and Practice - Unveiling Security Flaws in Masked Circuits

Amir Moradi, Pascal Sasdrich, David Knichel, 2022, IACR Cryptol. ePrint Arch..

SILVER - Statistical Independence and Leakage Verification

Pascal Sasdrich, Amir Moradi, David Knichel, 2020, IACR Cryptol. ePrint Arch..

SKINNY-AEAD and SKINNY-Hash v 1 . 0

Thomas Peyrin, Yu Sasaki, Stefan Kölbl, 2019 .

SKINNY-AEAD and SKINNY-Hash

Thomas Peyrin, Stefan Kölbl, Jérémy Jean, 2020, IACR Trans. Symmetric Cryptol..

Bit-Sliding: A Generic Technique for Bit-Serial Implementations of SPN-based Primitives - Applications to AES, PRESENT and SKINNY

Thomas Peyrin, Amir Moradi, Jérémy Jean, 2017, CHES.

A grain in the silicon: SCA-protected AES in less than 30 slices

Tim Güneysu, Pascal Sasdrich, T. Güneysu, 2016, 2016 IEEE 27th International Conference on Application-specific Systems, Architectures and Processors (ASAP).

Side-Channel Protection by Randomizing Look-Up Tables on Reconfigurable Hardware - Pitfalls of Memory Primitives

Tim Güneysu, Amir Moradi, Pascal Sasdrich, 2015, IACR Cryptol. ePrint Arch..

A Hard Crystal - Implementing Dilithium on Reconfigurable Hardware

Tim Güneysu, Pascal Sasdrich, Georg Land, 2021, IACR Cryptol. ePrint Arch..

Cryptography for next generation TLS: Implementing the RFC 7748 elliptic Curve448 cryptosystem in hardware

Tim Güneysu, Pascal Sasdrich, T. Güneysu, 2017, 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).

Implementing Curve25519 for Side-Channel--Protected Elliptic Curve Cryptography

Tim Güneysu, Pascal Sasdrich, T. Güneysu, 2015, ACM Trans. Reconfigurable Technol. Syst..

Hiding Higher-Order Side-Channel Leakage – Randomizing Threshold Implementations in Reconfigurable Hardware –

Tim Güneysu, Pascal Sasdrich, Amir Moradi, 2016 .

Achieving side-channel protection with dynamic logic reconfiguration on modern FPGAs

Tim Güneysu, Amir Moradi, Pascal Sasdrich, 2015, 2015 IEEE International Symposium on Hardware Oriented Security and Trust (HOST).

Automated Generation of Masked Hardware

Amir Moradi, Pascal Sasdrich, David Knichel, 2021, IACR Cryptol. ePrint Arch..

FIVER - Robust Verification of Countermeasures against Fault Injections

Tim Güneysu, Amir Moradi, Pascal Sasdrich, 2021, IACR Cryptol. ePrint Arch..

Challenges and Opportunities of Security-Aware EDA

T. Güneysu, Jakob Feldtkeller, Pascal Sasdrich, 2022, ACM Trans. Embed. Comput. Syst..

Generic Hardware Private Circuits - Towards Automated Generation of Composable Secure Gadgets

Amir Moradi, Pascal Sasdrich, David Knichel, 2021, IACR Cryptol. ePrint Arch..

Efficient Elliptic-Curve Cryptography Using Curve25519 on Reconfigurable Devices

Tim Güneysu, Pascal Sasdrich, T. Güneysu, 2014, ARC.

Threshold Implementation in Software - Case Study of PRESENT

Amir Moradi, Pascal Sasdrich, René Bock, 2018, IACR Cryptol. ePrint Arch..

Exploring RFC 7748 for Hardware Implementation: Curve25519 and Curve448 with Side-Channel Protection

Tim Güneysu, Pascal Sasdrich, Pascal Sasdrich, 2018, Journal of Hardware and Systems Security.