PUBLICATION
June 2026
CiC Volume 3, Issue 2, accepted paper: Side-Channel Secure CSIDH with Projective Coordinates
with Jonas Meers, Georg Land, Elisabeth Krahmer and Tim Güneysu
PUBLICATION
March 2026
TCHES 2026, Issue 3, accepted paper: LFSRs and Boolean Masking: An In-depth Security Analysis
with Jan Schoone, Niklas Höher, Dina Hesse and Tim Güneysu
ARTIFACT
March 2026
TCHES 2026 published artifact for Testing Security Equivalence in the Random Probing Model
with " IACR CHES Artifacts Available" badge along with Carina Graw, Lukas Koletzko, Jan Richter-Brockmann, Holger Dette and Tim Güneysu
TALK
November 2025
Presented Testing Security Equivalence in the Random Probing Model with Carina Graw, at CASA colloquium, Ruhr-University Bochum, Bochum, Germany
TALK
October 2025
Presented Masking CSIDH with Elisabeth Krahmer and Jonas Meers
at CASA colloquium, Ruhr-University Bochum, Bochum, Germany
PREPRINT
October 2025
Preprint available: Testing Security Equivalence in the Random Probing Model
with Carina Graw, Lukas Koletzko, Jan Richter-Brockmann, Holger Dette and Tim Güneysu
PUBLICATION
September 2025
TCHES 2026, Issue 1, accepted paper: Testing Security Equivalence in the Random Probing Model
with Carina Graw, Lukas Koletzko, Jan Richter-Brockmann, Holger Dette and Tim Güneysu
LOGO
August 2025
Designed HADES logo for HADES: Automated Hardware Design Exploration for Cryptographic Primitives publication appearing at TCHES 2025, Issue 4,
by Fabian Buschkowski, Georg Land, Niklas Höher, Jan Richter-Brockmann, Pascal Sasdrich and Tim Güneysu.
The tool is available on Github.
INTERNSHIP
April to June 2025
Research visit as part of doctoral studies at CryptoExperts in Paris, France, with the support of CASA.
PUBLICATION
March 2025
Eurocrypt 2025, accepted paper: INDIANA - Verifying (Random) Probing Security through Indistinguishability Analysis
with Christof Beierle, Jakob Feldtkeller, Tim Güneysu, Gregor Leander, Jan Richter-Brockmann and Pascal Sasdrich
PUBLICATION
September 2024
Asiacrypt 2024, accepted paper: Formal Definition and Verification for Combined Random Fault and Random Probing Security
with Sonia Belaïd, Jakob Feldtkeller, Tim Güneysu, Jan Richter-Brockmann, Matthieu Rivain, Pascal Sasdrich and Abdul Rahman Taleb
