Registered user since Thu 28 Aug 2025
Name:Karthikeyan Bhargavan
Country:France
Affiliation:Cryspen, France
Personal website: https://bhargavan.info
Research interests:Programming Languages, Formal Verification, Applied Cryptography
Contributions
Using general profile