conf.researchr.org / Shriya Thakur
Registered user since Wed 9 Nov 2022
Name:Shriya Thakur
Country:United States
Affiliation:University of Massachusetts, Lowell
Personal website: https://smooththunk.github.io/shriyathakur/index.html
GitHub: https://github.com/SmoothThunk
Research interests:Type Theory, Formal Verification of Cryptographic Protocols, Zero Knowledge Proofs
Contributions