Cohesive Coverage Management for Simulation and Formal Property Verification. - Aritra Hazra; Ansuman Banerjee; Srobona Mitra; Pallab Dasgupta; Partha Pratim Chakrabarti; Chunduri Rama Mohan (ISVLSI, 2008)

Inline Assertions - Embedding Formal Properties in a Test Bench. - Aritra Hazra; Priyankar Ghosh; Pallab Dasgupta; Partha Pratim Chakrabarti (VLSI Design, 2009)

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 (DAC, 2010)

Coverage Management with Inline Assertions and Formal Test Points. - Aritra Hazra; Priyankar Ghosh; Pallab Dasgupta; Partha Pratim Chakrabarti (VLSI Design, 2010)

POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads. - Priyankar Ghosh; Aritra Hazra; Niraj Bhilegaonkar; Pallab Dasgupta; Chittaranjan A. Mandal; Krishna Paul (ISED, 2011)

Formal methods for coverage analysis of architectural power states in power-managed designs. - Aritra Hazra; Pallab Dasgupta; Ansuman Banerjee; Kevin Harer (ASP-DAC, 2012)

Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems. - Aritra Hazra; Priyankar Ghosh; Pallab Dasgupta (FDL, 2012)

Cohesive Coverage Management: Simulation Meets Formal Methods. - Aritra Hazra; Priyankar Ghosh; Pallab Dasgupta; Partha Pratim Chakrabarti (J. Electron. Test., 2012)

POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads. - Priyankar Ghosh; Aritra Hazra; Rahul Gonnabhaktula; Niraj Bhilegaonkar; Pallab Dasgupta; Chittaranjan A. Mandal; Krishna Paul (J. Low Power Electron., 2012)

Handling fault detection latencies in automata-based scheduling for embedded control software. - M. Santhosh Prabhu; Aritra Hazra; Pallab Dasgupta; Partha Pratim Chakrabarti (CACSD, 2013)

Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications. - Aritra Hazra; Priyankar Ghosh; Satya Gautam Vadlamudi; P. P. Chakrabarti 001; Pallab Dasgupta (IEEE Embed. Syst. Lett., 2013)

Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software. - M. Santhosh Prabhu; Aritra Hazra; Pallab Dasgupta (IEEE Embed. Syst. Lett., 2013)

POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent. - Aritra Hazra; Rajdeep Mukherjee; Pallab Dasgupta; Ajit Pal; Kevin Harer; Ansuman Banerjee; Subhankar Mukherjee 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

Formal Verification of Architectural Power Intent. - Aritra Hazra; Sahil Goyal; Pallab Dasgupta; Ajit Pal (IEEE Trans. Very Large Scale Integr. Syst., 2013)

Synthesis of sampling modes for adaptive control. - Rajorshee Raha; Aritra Hazra; Akash Mondal; Soumyajit Dey; Partha Pratim Chakrabarti; Pallab Dasgupta (ICCSCE, 2014)

RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications. - Saurav Kumar Ghosh; Aritra Hazra; Soumyajit Dey (VLSID, 2015)

Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems. - Saurav Kumar Ghosh; Akash Mondal; Souradeep Dutta; Aritra Hazra; Soumyajit Dey (VDAT, 2016)

Formal assessment of reliability specifications in embedded cyber-physical systems. - Aritra Hazra; Pallab Dasgupta; Partha Pratim Chakrabarti (J. Appl. Log., 2016)

XFC: A Framework for eXploitable Fault Characterization in Block Ciphers. - Punit Khanna; Chester Rebeiro; Aritra Hazra (DAC, 2017)

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 (VLSID, 2017)

RELSPEC: a framework for reliability aware design of component based embedded systems. - Saurav Kumar Ghosh; P. Vishnuvardhan; Satya Gautam Vadlamudi; Aritra Hazra; Soumyajit Dey; Partha Pratim Chakrabarti (Des. Autom. Embed. Syst., 2017)

Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components. - Sudipa Mandal; Aritra Hazra; Pallab Dasgupta; Chunduri Rama Mohan (VLSID, 2018)

Testability Analysis of PUFs Leveraging Correlation-Spectra in Boolean Functions. - Durba Chatterjee; Aritra Hazra; Debdeep Mukhopadhyay (CoRR, 2018)

An Algorithmic Approach to Formally Verify an ECC Library. - Keerthi K. 002; Chester Rebeiro; Aritra Hazra (ACM Trans. Design Autom. Electr. Syst., 2018)

Formal Verification for Security in IoT Devices. - Keerthi K. 002; Indrani Roy; Aritra Hazra; Chester Rebeiro (Security and Fault Tolerance in Internet of Things, 2019)

Formal Analysis of PUF Instances Leveraging Correlation-Spectra in Boolean Functions. - Durba Chatterjee; Aritra Hazra; Debdeep Mukhopadhyay (SPACE, 2019)

The Notion of Cross Coverage in AMS Design Verification. - Sayandeep Sanyal; Aritra Hazra; Pallab Dasgupta; Scott Morrison; Sudhakar Surendran; Lakshmanan Balasubramanian (ASP-DAC, 2020)

SOLOMON: An Automated Framework for Detecting Fault Attack Vulnerabilities in Hardware. - Milind Srivastava; Patanjali SLPSK; Indrani Roy; Chester Rebeiro; Aritra Hazra; Swarup Bhunia (DATE, 2020)

PUF-G: A CAD Framework for Automated Assessment of Provable Learnability from Formal PUF Representations. - Durba Chatterjee; Debdeep Mukhopadhyay; Aritra Hazra (ICCAD, 2020)

CoveRT: A Coverage Reporting Tool for Analog Mixed-Signal Designs. - Sayandeep Sanyal; Aritra Hazra; Pallab Dasgupta; Scott Morrison; Sudhakar Surendran; Lakshmanan Balasubramanian (VLSID, 2020)

Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems. - Ginju V. George; Aritra Hazra; Pallab Dasgupta; Partha Pratim Chakrabarti (CoRR, 2020)

Interpose PUF can be PAC Learned. - Durba Chatterjee; Debdeep Mukhopadhyay; Aritra Hazra (IACR Cryptol. ePrint Arch., 2020)

SAFARI: Automatic Synthesis of Fault-Attack Resistant Block Cipher Implementations. - Indrani Roy; Chester Rebeiro; Aritra Hazra; Swarup Bhunia (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

FEDS: Comprehensive Fault Attack Exploitability Detection for Software Implementations of Block Ciphers. - Keerthi K. 002; Indrani Roy; Chester Rebeiro; Aritra Hazra; Swarup Bhunia (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2020)

Assertions for Protecting Mixed-Signal Latency Contracts in Power Management. - Sudipa Mandal; Pallab Dasgupta; Aritra Hazra; Chunduri Rama Mohan (IEEE Trans. Very Large Scale Integr. Syst., 2020)

SACReD: An Attack Framework on SAC Resistant Delay-PUFs leveraging Bias and Reliability Factors. - Durba Chatterjee; Urbi Chatterjee; Debdeep Mukhopadhyay; Aritra Hazra (DAC, 2021)

Formal Analysis of Physically Unclonable Functions. - Durba Chatterjee; Debdeep Mukhopadhyay; Aritra Hazra (VLSI-SoC, 2021)

An RL based Approach for Thermal-Aware Energy Optimized Task Scheduling in Multi-core Processors. - Sudipa Mandal; Krushna Gaurkar; Pallab Dasgupta; Aritra Hazra (VLSID, 2021)

Methodology for Biasing Random Simulation for Rapid Coverage of Corner Cases in AMS Designs. - Sayandeep Sanyal; Ayan Chakraborty 005; Pallab Dasgupta; Aritra Hazra (CoRR, 2021)

Detecting Adversaries, yet Faltering to Noise? Leveraging Conditional Variational AutoEncoders for Adversary Detection in the Presence of Noisy Images. - Dvij Kalaria; Aritra Hazra; Partha Pratim Chakrabarti (CoRR, 2021)

SMT-Based Verification of Safety-Critical Embedded Control Software. - Sunandan Adhikary; Amit Gurung; Jay Thakkar; Antonio Anastasio Bruto da Costa; Soumyajit Dey; Aritra Hazra; Pallab Dasgupta (IEEE Embed. Syst. Lett., 2021)

Usage-Driven Personalization of Power Management Logic. - Sudipa Mandal; Aritra Hazra; Pallab Dasgupta (IEEE Embed. Syst. Lett., 2021)

Physically Related Functions: A New Paradigm for Light-weight Key-Exchange. - Durba Chatterjee; Harishma Boyapally; Sikhar Patranabis; Urbi Chatterjee; Debdeep Mukhopadhyay; Aritra Hazra (IACR Cryptol. ePrint Arch., 2021)

Learnability of Multiplexer PUF and SN-PUF : A Fourier-based Approach. - Durba Chatterjee; Debdeep Mukhopadhyay; Aritra Hazra (IACR Cryptol. ePrint Arch., 2021)

FaultDroid: An Algorithmic Approach for Fault-Induced Information Leakage Analysis. - Indrani Roy; Chester Rebeiro; Aritra Hazra; Swarup Bhunia (ACM Trans. Design Autom. Electr. Syst., 2021)

Tracking Coverage Artefacts for Periodic Signals using Sequence-based Abstractions. - Ayan Chakraborty 005; Sayandeep Sanyal; Pallab Dasgupta; Aritra Hazra; Scott Morrison; Sudhakar Surendran; Lakshmanan Balasubramanian (VLSID, 2022)

Optimal Multi-Agent Path Finding for Precedence Constrained Planning Tasks. - Kushal Kedia; Rajat Kumar Jenamani; Aritra Hazra; Partha Pratim Chakrabarti (CoRR, 2022)

Formal Methods for Characterization and Analysis of Quality Specifications in Component-based Systems. - Aritra Hazra (CoRR, 2022)

Towards Adversarial Purification using Denoising AutoEncoders. - Dvij Kalaria; Aritra Hazra; Partha Pratim Chakrabarti (CoRR, 2022)

PAC Learnability of iPUF Variants. - Durba Chatterjee; Debdeep Mukhopadhyay; Aritra Hazra (IACR Cryptol. ePrint Arch., 2022)

Systematically Quantifying Cryptanalytic Non-Linearities in Strong PUFs. - Durba Chatterjee; Kuheli Pratihar; Aritra Hazra; Ulrich Rührmair; Debdeep Mukhopadhyay (IACR Cryptol. ePrint Arch., 2022)

The CoveRT Approach for Coverage Management in Analog and Mixed-Signal Integrated Circuits. - Sayandeep Sanyal; Pallab Dasgupta; Aritra Hazra; Sourav Das; Scott Morrison; Sudhakar Surendran; Lakshmanan Balasubramanian (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Physically Related Functions: Exploiting Related Inputs of PUFs for Authenticated-Key Exchange. - Durba Chatterjee; Harishma Boyapally; Sikhar Patranabis; Urbi Chatterjee; Aritra Hazra; Debdeep Mukhopadhyay (IEEE Trans. Inf. Forensics Secur., 2022)

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 (DATE, 2023)

Explainable Decision Tree-Based Screening of Cognitive Impairment Leveraging Minimal Neuropsychological Tests. - Km Poonam; Aayush Prasad; Rajlakshmi Guha; Aritra Hazra; P. P. Chakrabarti 001 (PReMI, 2023)

CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications. - Sourav Das; Sayandeep Sanyal; Aritra Hazra; Pallab Dasgupta (ACM Trans. Design Autom. Electr. Syst., 2023)

ReFrame: Rectification Framework for Image Explaining Architectures. - Debjyoti Das Adhikary; Aritra Hazra; Partha Pratim Chakrabarti (COMAD/CODS (December), 2024)

PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification. - Sourav Das; Aritra Hazra; Pallab Dasgupta; Sudipta Kundu; Himanshu Jain (DATE, 2024)

DiffClone: Enhanced Behaviour Cloning in Robotics with Diffusion-Driven Policy Learning. - Sabariswaran Mani; Abhranil Chandra; Sreyas Venkataraman; Adyan Rizvi; Yash Sirvi; Soumojit Bhattacharya; Aritra Hazra (CoRR, 2024)

Systematically Quantifying Cryptanalytic Nonlinearities in Strong PUFs. - Durba Chatterjee; Kuheli Pratihar; Aritra Hazra; Ulrich Rührmair; Debdeep Mukhopadhyay (IEEE Trans. Inf. Forensics Secur., 2024)

SISCO: Selective Invariant Sharing, Clustering and Ordering for Effective Multi-Property Formal Verification. - Sourav Das; Aritra Hazra; Pallab Dasgupta; Himanshu Jain; Sudipta Kundu (ASP-DAC, 2025)

MADel0: A Modelling and Assessment Framework for Delay PUFs leveraging Gradient-based Optimization Techniques. - Durba Chatterjee; Debdeep Mukhopadhyay; Aritra Hazra (ISVLSI, 2025)

PrOFraC: Property Ordering and Frame Clause Reuse for Multi-Property Verification. - Sourav Das; Aritra Hazra; Pallab Dasgupta; Himanshu Jain; Sudipta Kundu (VLSID, 2025)

$ mathtt{PARLE}$PARLE-$ mathtt{G}$G: Provable Automated Representation and Analysis Framework for Learnability Evaluation of Generic PUF Compositions. - Durba Chatterjee; Aritra Hazra; Debdeep Mukhopadhyay (IEEE Trans. Computers, 2025)