BharatSim is an open source, large-scale, agent based simulation framework built to help the scientific community. Most real world systems are complex in nature and agent based modeling allows researchers to create models with required complexity and test out what-if scenarios to better understand the behavior of the system. These models are helpful in understanding...Read More

We are developing real-time microfluidics magnetic tweezers to effectively monitor conformational change under physiological force range in subnanometer resolution, which can detect small changes in elasticity. This Bio-CS collaboration aims to build software and hardware to support and speed up magnetic tweezer experiments. We are currently designing and building a new CMT (covalent magnetic tweezer)...Read More

Most real world systems are complex in nature and agent based modeling allows researchers to create models with the required complexity and test out what-if scenarios to understand the behavior of the system. These models are helpful in understanding emergent phenomena and help to devise policy interventions. We aim to develop powerful population data generation,...Read More

One of the major drawbacks to using garbled circuits for two-party secure computation (where two parties can jointly compute an agreed-upon function of their inputs while keeping said inputs secret) is that they can only be used once and need to be regenerated, essentially from scratch, for subsequent computations. While we know that “refreshing” a...Read More

A verifiable delay function (VDF) is a function that takes a pre-determined time to compute, even on parallel processors, and once computed, its output can be quickly verified by anyone. We are working on a number of novel constructions of VDFs, uVDFs (Unique VDFs), and cVDFs (Continuous VDFs) from point multiplication on elliptic curves, along...Read More

India’s Aadhaar is the largest biometric identity system in history, designed to help deliver subsidies, benefits, and services to India’s 1.36 billion residents. The Unique Identification Authority of India (UIDAI) is responsible for providing each resident (not each citizen) with a distinct identity—a 12-digit Aadhaar number—using their biometric and demographic details. We produce the first...Read More

Overcoming the threat of coercion attacks (where a legitimate user is forced to give up their credentials) in a cryptographic system has been a top priority for system designers since the birth of cyber-security. One way to overcome such a threat is to leverage implicit memory to construct a defense against so-called rubber-hose attacks where...Read More