CCCP Group

Research Topics

(For Ph.D/MS/MTP/BTP/Seminar/R&D project)

Note: Please contact to sub group convener if you would like to work in that sub-area

1. Computer Architecture

· Power efficient core design for edge computing

· Heterogeneous ISA high performance core design

· High performance out of order execution GP-GPU design

· Memory sub-system design of GP-GPU and CPU

· Fault tolerant microarchitecture of GP-GPU/CPU

· In memory computation

· AI accelerators

· Accelerator for Post Quantum Cryptographic (PQC) algorithms

· Secure microarchitectures

· Side channel attacks and mitigation techniques

Sub group convener: Tejeshwar Thorawade (tejeshwar@iitb.ac.in)

2. VLSI Design, Verification, and Test

· High level synthesis

· AI for hardware design

· AI for CAD

· Formal verification of hardware designs

· Formal verification of hardware software co-design

· Property guided hardware design

· Security verification of the hardware designs

· Automatic assertion extraction using LLMs

· Secure hardware designs

· Secure VLSI testing

· Power aware testing

· Mitigation of Silent Data Corruption (SDC)

· Instruction aware self-testing

· System level testing of VLSI systems

Sub group convener: Rahul Kumar (24d0529@iitb.ac.in)

3. Artificial Intelligence/Machine Learning/Natural Language Processing

· Sample efficient Reinforcement Learning

· Reinforcement learning with verifiable rewards (RLVR)

· Efficient skill discovery in RL

· Using natural language for aligning reinforcement learning agents

· Policy space compression

· Machine unlearning

· Adversarial Learning

· Machine Translation (Low resource machine translation)

· Automatic post editing of machine translation

· Speech to speech online translation

· adaptive multi-turn Human-AI code collaboration

· Explicit reasoning in language and vision models

· Model aware Text-to-Image retrieval

· Hallucination in LLM/VLM

· Visual token pruning for multi-image VLMs

· Optimization in Machine Learning

· Quantum machine learning

Sub group convener: Suma Sri Mandru (22d0381@iitb.ac.in)

4. Cybersecurity / Cryptography

· Security of AI/ML

· ML based attack on PQC algoritms

· AI powered cybersecurity of critical information infrastructure

· Security of Cyber physical cognitive systems

· Security of 5G/6G networks

· Security of SDN

· Security of Vehicle Area Network (VAN)

· Secure Operation Centre

· Post Quantum cryptography

· Efficient deployment of Fully Homomorphic Encryption

· Certificateless signature scheme from Lattices

· Deployment efficient ORAM from Lattices

· Cryptanalysis of NTRU-based certificateless signature schemes

· Test bed development for CPCS

· Digital Twin of cyber physical systems

Sub group convener: Suma Sri Mandru (22d0381@iitb.ac.in)

5. Quantum Computing and Communication

· Quantum Key Distribution (QKD)

· Quantum cryptography

· Quantum circuit synthesis and optimization

· Quantum program/circuit verification (formal techniques)

· Quantum-classical hybrid system design

· Quantum machine learning

Sub group convener: Nikhil Kumar Parida (23d0380@iitb.ac.in)