Shriya Thakur

Registered user since Wed 9 Nov 2022

Name:Shriya Thakur
Country:United States
Affiliation:University of Massachusetts, Lowell
Research interests:Type Theory, Formal Verification of Cryptographic Protocols, Zero Knowledge Proofs

Contributions