Mentorship
Texas A&M University (October 2020 -- July 2023)
Vasudev Gohil (Fifth year Ph.D. student, Texas A&M University, USA)
Projects
Reinforcement Learning for Hardware Security
Game Theory for Hardware Security
Publications
AttackGNN: Red-Teaming GNNs in Hardware Security Using Reinforcement Learning (USENIX Security 2024)
DETERRENT: Detecting Trojans Using Reinforcement Learning (IEEE TCAD 2023)
ExploreFault: Identifying Exploitable Fault Models in Block Ciphers with Reinforcement Learning (IEEE/ACM DAC 2023)
ATTRITION: Attacking Static Hardware Trojan Detection Techniques Using Reinforcement Learning (ACM CCS 2022)
DETERRENT: Detecting Trojans Using Reinforcement Learning (IEEE/ACM DAC 2022)
Games, Dollars, Splits: A Game-Theoretic Analysis of Split Manufacturing (IEEE TIFS 2021)
Hao Guo (Master's student, Texas A&M University, USA)
Project
Reinforcement Learning for Hardware Security
Publications
DETERRENT: Detecting Trojans Using Reinforcement Learning (IEEE TCAD 2023)
ExploreFault: Identifying Exploitable Fault Models in Block Ciphers with Reinforcement Learning (IEEE/ACM DAC 2023)
ATTRITION: Attacking Static Hardware Trojan Detection Techniques Using Reinforcement Learning (ACM CCS 2022)
DETERRENT: Detecting Trojans Using Reinforcement Learning (IEEE/ACM DAC 2022)
Zhaokun Han (Fifth year Ph.D. student, Texas A&M University, USA)
Project
Efficient and Secure Obfuscation
Publications
STATION: State Encoding-based Attack Resilient Sequential Obfuscation (IEEE TCAD 2024)
BAT: Boolean Algebraic Transformation on eASIC (GOMACTech 2023)
Aneesh Dixit (Former Ph.D. student, Texas A&M University, USA)
Project
Efficient and Secure Obfuscation
Publications
STATION: State Encoding-based Attack Resilient Sequential Obfuscation (IEEE TCAD 2024)
BAT: Boolean Algebraic Transformation on eASIC (GOMACTech 2023)
Likhitha Mankali (Fourth year Ph.D. student, New York University, USA)
Project
Graph Neural Networks for Hardware Security
Fault Attacks on Logic Locking
Publications
VIGILANT: Vulnerability Detection Tool against Fault-Injection Attacks for Locking Techniques (IEEE TCAD 2023)
Titan: Security Analysis of Large-Scale Hardware Obfuscation using Graph Neural Networks (IEEE TIFS 2022)
Mark Tressler (Former Undergraduate student, Texas A&M University, USA)
Project
Game Theory for Hardware Security
Publications
Games, Dollars, Splits: A Game-Theoretic Analysis of Split Manufacturing (IEEE TIFS 2021)
First Position after Graduation
Advanced Micro Devices (AMD)
Kevin Sipple (Former Undergraduate student, Texas A&M University, USA)
Project
Game Theory for Hardware Security
Publications
Games, Dollars, Splits: A Game-Theoretic Analysis of Split Manufacturing (IEEE TIFS 2021)
Brody Jordan (Undergraduate student, Texas A&M University, USA)
Project
Reinforcement Learning for Electronic Design Automation
New York University (September 2015 -- August 2020)
Nimisha Limaye (Tandon School of Engineering, New York University, USA)
Projects
Computer-Aided Design Frameworks for Evaluating Security of Logic Locking Techniques
Emerging Devices for Hardware Security
Publications
Hide & Seek: Seeking the (Un)-Hidden Key in Provably-Secure Logic Locking Techniques (IEEE TIFS 2022)
Valkyrie: Vulnerability Assessment Tool and Attack for Provably-Secure Logic Locking Techniques (IEEE TIFS 2022)
Fa-SAT: Fault-aided SAT-based Attack on Compound Logic Locking Techniques (IEEE/ACM DATE 2021)
PolyWorm: Leveraging Polymorphic Behavior to Implant Hardware Trojans (IEEE TETC 2021)
First Position after Graduation
Sr. ASIC Digital Design Engineer, Solutions Group, Synopsys Inc.
Lilas Alrahis (Khalifa University, United Arab Emirates)
Projects
Graph Neural Networks for Hardware Security
Machine Learning Attacks on Logic Locking
Publications
MuxLink: Circumventing Learning-Resilient MUX-Locking Using GNN-based Link Prediction (IEEE/ACM DATE 2022)
GNNUnlock: GNN-based Oracle-less Unlocking Scheme for Provably Secure Logic Locking (IEEE/ACM DATE 2021)
UNSAIL: Thwarting Oracle-Less Machine Learning Attacks on Logic Locking (IEEE TIFS 2021)
Please refer to Publications for a detailed list
First Position after Graduation