November 5, 2021

Day

BharatSim: An Agent-based Simulation Framework

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

Focal Adhesion in Cells and Mechanotransduction

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

Agent-based Simulation of Large Populations

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

Reusable Garbled Circuits

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

Verifiable Delay Functions using Elliptic Curves

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

Analyzing Aadhaar

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

NeuroCrypt: Evading Coercion Attacks

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

We are using cookies to give you the best experience. You can find out more about which cookies we are using or switch them off in privacy settings.
AcceptPrivacy Settings