Project Code Faculty Name Project Title Abstract Pre-Requisites
In this project, the goal is to explore through and enhance our in-
house Side-Channel and Fault Attack setup, and eventually perform 1. Experience with embedded devices,and/or
ProjCode-001 Prof. Sayandeep Saha Practical Evaluation of Physical Security some practical attacks on cryptosystems. oscilloscopes
This project involves the design and development of folding-based
R1CS circuits which encode the verification algorithms of the post-
quantum signature schemes ML-DSA and Falcon. We will also
Folding-Based Zero-Knowledge Proofs of Post- develop regular R1CS circuits for PQ signature verification which do 1. Rust programming
ProjCode-002 Prof. Saravanan Vijayakumaran
Quantum Signatures not use folding, to quantify the improvements due to folding. Our 2. Cryptography
end goal is to demonstrate that folding-based R1CS circuits for PQ
signature verification can be proved and verified using significantly
less computational resources compared to regular R1CS circuits.
With the implementation of various privacy laws, website publishers
are required to display cookie banners offering users the option to
opt out of tracking and to access their privacy policies. However,
these banners are often written in vague language or fail to
Cookie banner perception: how accurately accurately reflect the website’s actual policies, thereby creating a 1.Students with network course
ProjCode-003 Prof. Devashish Gosain
they summarize the policy page? false sense of privacy. This project aims to quantitatively and 2. Python Programming
qualitatively investigate such discrepancies. Our goal is to develop
automated solutions that can identify cookie banners and assess
their alignment with the corresponding privacy policy
page of the website.
In this project we will explore some of the recent attempts at
watermarking large language models with provable guarantees. The
project will be theoretical in nature. Some of the works we will look 1. Discrete Mathematics
ProjCode-004 Prof. Chethan Kamath Watermarking Language Models into are https://ia.cr/2024/759 and https://ia.cr/2024/235. 2. Probability
3. Basic Cryptography