| 2025 | ASPDAC | SISCO: Selective Invariant Sharing, Clustering and Ordering for Effective Multi-Property Formal Verification. | Sourav Das, Aritra Hazra, Pallab Dasgupta, Himanshu Jain, Sudipta Kundu |
| 2025 | ICCAD | MIRAGE: Microarchitectural Footprints for Detecting Adversarial Attacks in One-Shot Inference. | Soumi Chatterjee, Debadrita Talapatra, Nimish Mishra, Aritra Hazra, Debdeep Mukhopadhyay |
| 2025 | VLSID | PrOFraC: Property Ordering and Frame Clause Reuse for Multi-Property Verification. | Sourav Das, Aritra Hazra, Pallab Dasgupta, Himanshu Jain, Sudipta Kundu |
| 2024 | COMAD | ReFrame: Rectification Framework for Image Explaining Architectures. | Debjyoti Das Adhikary, Aritra Hazra, Partha Pratim Chakrabarti |
| 2024 | DATE | PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification. | Sourav Das, Aritra Hazra, Pallab Dasgupta, Sudipta Kundu, Himanshu Jain |
| 2023 | DATE | Analog Coverage-driven Selection of Simulation Corners for AMS Integrated Circuits. | Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian, Mohammad Moshiur Rahman |
| 2022 | VLSID | Tracking Coverage Artefacts for Periodic Signals using Sequence-based Abstractions. | Ayan Chakraborty, Sayandeep Sanyal, Pallab Dasgupta, Aritra Hazra, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian |
| 2021 | DAC | SACReD: An Attack Framework on SAC Resistant Delay-PUFs leveraging Bias and Reliability Factors. | Durba Chatterjee, Urbi Chatterjee, Debdeep Mukhopadhyay, Aritra Hazra |
| 2021 | VLSID | An RL based Approach for Thermal-Aware Energy Optimized Task Scheduling in Multi-core Processors. | Sudipa Mandal, Krushna Gaurkar, Pallab Dasgupta, Aritra Hazra |
| 2020 | ASPDAC | The Notion of Cross Coverage in AMS Design Verification. | Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian |
| 2020 | DATE | SOLOMON: An Automated Framework for Detecting Fault Attack Vulnerabilities in Hardware. | Milind Srivastava, Patanjali SLPSK, Indrani Roy, Chester Rebeiro, Aritra Hazra, Swarup Bhunia |
| 2020 | ICCAD | PUF-G: A CAD Framework for Automated Assessment of Provable Learnability from Formal PUF Representations. | Durba Chatterjee, Debdeep Mukhopadhyay, Aritra Hazra |
| 2020 | VLSID | CoveRT: A Coverage Reporting Tool for Analog Mixed-Signal Designs. | Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian |
| 2018 | VLSID | Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components. | Sudipa Mandal, Aritra Hazra, Pallab Dasgupta, Chunduri Rama Mohan |
| 2017 | DAC | XFC: A Framework for eXploitable Fault Characterization in Block Ciphers. | Punit Khanna, Chester Rebeiro, Aritra Hazra |
| 2017 | VLSID | Formal Verification of Power Management Logic with Mixed-Signal Domains. | Sudipa Mandal, Antonio Anastasio Bruto da Costa, Aritra Hazra, Pallab Dasgupta, Bhushan Naware, Chunduri Rama Mohan, Sanjib Basu |
| 2015 | VLSID | RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications. | Saurav Kumar Ghosh, Aritra Hazra, Soumyajit Dey |
| 2012 | ASPDAC | Formal methods for coverage analysis of architectural power states in power-managed designs. | Aritra Hazra, Pallab Dasgupta, Ansuman Banerjee, Kevin Harer |
| 2012 | FDL | Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems. | Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta |
| 2010 | DAC | Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent. | Aritra Hazra, Srobona Mitra, Pallab Dasgupta, Ajit Pal, Debabrata Bagchi, Kaustav Guha |
| 2010 | VLSID | Coverage Management with Inline Assertions and Formal Test Points. | Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti |
| 2009 | VLSID | Inline Assertions - Embedding Formal Properties in a Test Bench. | Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti |