1

Formal Definition and Verification for Combined Random Fault and Random Probing Security
Sonia Belaid, Jakob Feldtkeller, Tim Güneysu, Anna Guinet, Jan Richter-Brockmann, Matthieu Rivain, Pascal Sasdrich, Abdul Rahman Taleb
PDF Cite
Combined Threshold Implementation
Jakob Feldtkeller, Jan Richter-Brockmann, Pascal Sasdrich, Tim Güneysu
PDF Cite
HADES: Automated Hardware Design Exploration for Cryptographic Primitives
Fabian Buschkowski, Georg Land, Jan Richter-Brockmann, Pascal Sasdrich, Tim Güneysu
PDF Cite
Combined Private Circuits -- Combined Security Refurbished
Jakob Feldtkeller, Tim Güneysu, Thorben Moos, Jan Richter-Brockmann, Sayandeep Saha, Pascal Sasdrich, François-Xavier Standaert
PDF Cite DOI
EasiMask - Towards Efficient, Automated, and Secure Implementation of Masking in Hardware
Fabian Buschkowski, Pascal Sasdrich, Tim Güneysu
Cite DOI
Recommendation for a Holistic Secure Embedded ISA Extension
Florian Stolz, Marc Fyrbiak, Pascal Sasdrich, Tim Güneysu
PDF Cite DOI
CINI MINIS: Domain Isolation for Fault and Combined Security
Jakob Feldtkeller, Jan Richter-Brockmann, Pascal Sasdrich, Tim Güneysu
PDF Cite DOI
A Hard Crystal - Implementing Dilithium on Reconfigurable Hardware
Georg Land, Pascal Sasdrich, Tim Güneysu
PDF Cite DOI
Concurrent error detection revisited: hardware protection against fault and side-channel attacks
Jan Richter-Brockmann, Pascal Sasdrich, Florian Bache, Tim Güneysu
Cite DOI
SILVER - Statistical Independence and Leakage Verification
David Knichel, Pascal Sasdrich, Amir Moradi
PDF Cite DOI