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

Show activities from other conferences

POPL 2023-profile
View general profile