Registered user since Fri 5 Jun 2020

Name: Aman Bansal

Country: India

Affiliation: IIT Bombay, India

Personal website: https://www.cse.iitb.ac.in/~amanb/

Research interests: Formal Methods, Programming Languages, Cryptography

Contributions