SSEL: An Extensible Specification Language for SoC Security. - Kshitij Raj; Arrush Hegde; Atul Prasad Deb Nath; Swarup Bhunia; Sandip Ray (AsianHOST, 2021)

CASTLE: Architecting Assured System-on-Chip Firmware Integrity. - Sandip Ray; Atul Prasad Deb Nath; Kshitij Raj; Swarup Bhunia (DATE, 2021)

The Curious Case of Trusted IC Provisioning in Untrusted Testing Facilities. - Sandip Ray; Atul Prasad Deb Nath; Kshitij Raj; Swarup Bhunia (ACM Great Lakes Symposium on VLSI, 2021)

SoCCAR: Detecting System-on-Chip Security Violations Under Asynchronous Resets. - Xingyu Meng; Kshitij Raj; Atul Prasad Deb Nath; Kanad Basu; Sandip Ray (IACR Cryptol. ePrint Arch., 2021)

SoCCom: Automated Synthesis of System-on-Chip Architectures. - Atul Prasad Deb Nath; Kshitij Raj; Swarup Bhunia; Sandip Ray (IEEE Trans. Very Large Scale Integr. Syst., 2022)

SeVNoC: Security Validation of System-on-Chip Designs With NoC Fabrics. - Xingyu Meng; Kshitij Raj; Sandip Ray; Kanad Basu (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Trimming The Fat: A Minimum-Security Architecture for Protecting SoC Designs Against Supply Chain Threats. - Kshitij Raj; Aritra Bhattacharyay; Swarup Bhunia; Sandip Ray (ISQED, 2024)

System-on-Chip Information Flow Validation Under Asynchronous Resets. - Samit Shahnawaz Miftah; Kshitij Raj; Xingyu Meng; Sandip Ray; Kanad Basu (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Security Enclave Architecture for Heterogeneous Security Primitives for Supply-Chain Attacks. - Kshitij Raj; Atri Chatterjee; Patanjali SLPSK; Swarup Bhunia; Sandip Ray (CoRR, 2025)