About

We are a research group at the Indian Institute of Technology Gandhinagar, focusing primarily on formal methods, web security, and usable security. More recently, some of us have also started working on privacy aspects of federated learning, along with the performance and security of computing systems and compilers.

If you are interested in collaborations, discussions, or student opportunities, browse the people page and reach out to any of us. We are always open to conversations.