Welcome

I am a PhD candidate at the Chair of Security Engineering, RUB, Bochum, Germany. I am studying side-channel attacks and security engineering under the supervision of Tim Güneysu.
In 2017, I completed a Master's Degree at Télécom SudParis, in telecommunication engineering, with a specialization in network and system security.

My current research interests are:

  • Side-channel attacks
  • Formal verification of masked implementations

News


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

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.

Research visit as part of doctoral studies at CryptoExperts in Paris, France, with the support of CASA.

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

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

Preprint available: 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

Preprint available: INDIANA - Verifying (Random) Probing Security through Indistinguishability Analysis with Christof Beierle, Jakob Feldtkeller, Tim Güneysu, Gregor Leander, Jan Richter-Brockmann and Pascal Sasdrich

TCHES 2024 published artifact for A Tale of Snakes and Horses: Amplifying Correlation Power Analysis on Quadratic Maps with "IACR CHES Artifacts Functional" badge along with Georg Land, Ioan Gabriel Bucur and Tim Güneysu

TCHES 2024, Issue 1, accepted paper: A Tale of Snakes and Horses: Amplifying Correlation Power Analysis on Quadratic Maps with Georg Land, Ioan Gabriel Bucur and Tim Güneysu