Invited Talks #
VeriSiCC'22
Computer-Aided Hardware Security Verification, VeriSiCC Seminar, 2022, Paris, Franceslides
ISCwsISC'21
Statistical Independence and Leakage Verification (SILVER), ISC Winter School on Information Security, 2021, Virtual, Earthslides
ECC'16
Implementing Curve25519 for Side-Channel-Protected Elliptic Curve Cryptography, Workshop on Elliptic Curve Cryptography, 2016, Izmir, Turkeyslides