Denis Firsov -

Registered user since Mon 29 Nov 2021

Name:Denis Firsov

Country:Estonia

Affiliation:Tallinn University of Technology

Personal website: http://firsov.ee

Research interests:formal methods, cryptography

Contributions

2027

CPP

PC Member in Program Committee within the CPP 2027-track

2025

CPP

Author of Leakage-Free Probabilistic Jasmin Programs within the CPP 2025-track

2023

CPP

Committee Member in Program Committee within the CPP 2023-track

2022

CPP

Author of Reflection, Rewinding, and Coin-Toss in EasyCrypt within the CPP 2022-track