Aritra Hazra

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 42

Top Topics

Pac Learnability

Power Management

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Sourav Das, Aritra Hazra, Pallab Dasgupta, Sudipta Kundu, Himanshu Jain
PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification. DATE (2024)
Durba Chatterjee, Kuheli Pratihar, Aritra Hazra, Ulrich Rührmair, Debdeep Mukhopadhyay
Systematically Quantifying Cryptanalytic Nonlinearities in Strong PUFs. IEEE Trans. Inf. Forensics Secur. 19 (2024)
Sabariswaran Mani, Abhranil Chandra, Sreyas Venkataraman, Adyan Rizvi, Yash Sirvi, Soumojit Bhattacharya, Aritra Hazra
DiffClone: Enhanced Behaviour Cloning in Robotics with Diffusion-Driven Policy Learning. CoRR (2024)
Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian, Mohammad Moshiur Rahman
Analog Coverage-driven Selection of Simulation Corners for AMS Integrated Circuits. DATE (2023)
Sourav Das, Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta
CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications. ACM Trans. Design Autom. Electr. Syst. 28 (1) (2023)
Km Poonam, Aayush Prasad, Rajlakshmi Guha, Aritra Hazra, P. P. Chakrabarti
Explainable Decision Tree-Based Screening of Cognitive Impairment Leveraging Minimal Neuropsychological Tests. PReMI (2023)
Dvij Kalaria, Aritra Hazra, Partha Pratim Chakrabarti
Towards Adversarial Purification using Denoising AutoEncoders. CoRR (2022)
Kushal Kedia, Rajat Kumar Jenamani, Aritra Hazra, Partha Pratim Chakrabarti
Optimal Multi-Agent Path Finding for Precedence Constrained Planning Tasks. CoRR (2022)
Sayandeep Sanyal, Pallab Dasgupta, Aritra Hazra, Sourav Das, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian
The CoveRT Approach for Coverage Management in Analog and Mixed-Signal Integrated Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (12) (2022)
Ayan Chakraborty, Sayandeep Sanyal, Pallab Dasgupta, Aritra Hazra, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian
Tracking Coverage Artefacts for Periodic Signals using Sequence-based Abstractions. VLSID (2022)
Durba Chatterjee, Harishma Boyapally, Sikhar Patranabis, Urbi Chatterjee, Aritra Hazra, Debdeep Mukhopadhyay
Physically Related Functions: Exploiting Related Inputs of PUFs for Authenticated-Key Exchange. IEEE Trans. Inf. Forensics Secur. 17 (2022)
Durba Chatterjee, Kuheli Pratihar, Aritra Hazra, Ulrich Rührmair, Debdeep Mukhopadhyay
Systematically Quantifying Cryptanalytic Non-Linearities in Strong PUFs. IACR Cryptol. ePrint Arch. 2022 (2022)
Durba Chatterjee, Debdeep Mukhopadhyay, Aritra Hazra
PAC Learnability of iPUF Variants. IACR Cryptol. ePrint Arch. 2022 (2022)
Aritra Hazra
Formal Methods for Characterization and Analysis of Quality Specifications in Component-based Systems. CoRR (2022)
Durba Chatterjee, Harishma Boyapally, Sikhar Patranabis, Urbi Chatterjee, Debdeep Mukhopadhyay, Aritra Hazra
Physically Related Functions: A New Paradigm for Light-weight Key-Exchange. IACR Cryptol. ePrint Arch. 2021 (2021)
Dvij Kalaria, Aritra Hazra, Partha Pratim Chakrabarti
Detecting Adversaries, yet Faltering to Noise? Leveraging Conditional Variational AutoEncoders for Adversary Detection in the Presence of Noisy Images. CoRR (2021)
Sudipa Mandal, Aritra Hazra, Pallab Dasgupta
Usage-Driven Personalization of Power Management Logic. IEEE Embed. Syst. Lett. 13 (3) (2021)
Sayandeep Sanyal, Ayan Chakraborty, Pallab Dasgupta, Aritra Hazra
Methodology for Biasing Random Simulation for Rapid Coverage of Corner Cases in AMS Designs. CoRR (2021)
Sudipa Mandal, Krushna Gaurkar, Pallab Dasgupta, Aritra Hazra
An RL based Approach for Thermal-Aware Energy Optimized Task Scheduling in Multi-core Processors. VLSI Design (2021)
Durba Chatterjee, Debdeep Mukhopadhyay, Aritra Hazra
-PUF : A Fourier-based Approach. IACR Cryptol. ePrint Arch. 2021 (2021)
Durba Chatterjee, Debdeep Mukhopadhyay, Aritra Hazra
Formal Analysis of Physically Unclonable Functions. VLSI-SoC (2021)
Sunandan Adhikary, Amit Gurung, Jay Thakkar, Antonio Anastasio Bruto da Costa, Soumyajit Dey, Aritra Hazra, Pallab Dasgupta
SMT-Based Verification of Safety-Critical Embedded Control Software. IEEE Embed. Syst. Lett. 13 (3) (2021)
Durba Chatterjee, Urbi Chatterjee, Debdeep Mukhopadhyay, Aritra Hazra
SACReD: An Attack Framework on SAC Resistant Delay-PUFs leveraging Bias and Reliability Factors. DAC (2021)
Indrani Roy, Chester Rebeiro, Aritra Hazra, Swarup Bhunia
FaultDroid: An Algorithmic Approach for Fault-Induced Information Leakage Analysis. ACM Trans. Design Autom. Electr. Syst. 26 (1) (2021)
Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian
CoveRT: A Coverage Reporting Tool for Analog Mixed-Signal Designs. VLSI Design (2020)
Ginju V. George, Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti
Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems. CoRR (2020)
Sudipa Mandal, Pallab Dasgupta, Aritra Hazra, Chunduri Rama Mohan
Assertions for Protecting Mixed-Signal Latency Contracts in Power Management. IEEE Trans. Very Large Scale Integr. Syst. 28 (8) (2020)
Indrani Roy, Chester Rebeiro, Aritra Hazra, Swarup Bhunia
SAFARI: Automatic Synthesis of Fault-Attack Resistant Block Cipher Implementations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (4) (2020)
Durba Chatterjee, Debdeep Mukhopadhyay, Aritra Hazra
PUF-G: A CAD Framework for Automated Assessment of Provable Learnability from Formal PUF Representations. ICCAD (2020)
Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian
The Notion of Cross Coverage in AMS Design Verification. ASP-DAC (2020)
Milind Srivastava, Patanjali SLPSK, Indrani Roy, Chester Rebeiro, Aritra Hazra, Swarup Bhunia
SOLOMON: An Automated Framework for Detecting Fault Attack Vulnerabilities in Hardware. DATE (2020)
Keerthi K., Indrani Roy, Chester Rebeiro, Aritra Hazra, Swarup Bhunia
FEDS: Comprehensive Fault Attack Exploitability Detection for Software Implementations of Block Ciphers. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2020 (2) (2020)
Durba Chatterjee, Debdeep Mukhopadhyay, Aritra Hazra
Interpose PUF can be PAC Learned. IACR Cryptol. ePrint Arch. 2020 (2020)
Durba Chatterjee, Aritra Hazra, Debdeep Mukhopadhyay
Formal Analysis of PUF Instances Leveraging Correlation-Spectra in Boolean Functions. SPACE (2019)
Sudipa Mandal, Aritra Hazra, Pallab Dasgupta, Chunduri Rama Mohan
Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components. VLSI Design (2018)
Durba Chatterjee, Aritra Hazra, Debdeep Mukhopadhyay
Testability Analysis of PUFs Leveraging Correlation-Spectra in Boolean Functions. CoRR (2018)
Keerthi K., Chester Rebeiro, Aritra Hazra
An Algorithmic Approach to Formally Verify an ECC Library. ACM Trans. Design Autom. Electr. Syst. 23 (5) (2018)
Punit Khanna, Chester Rebeiro, Aritra Hazra
XFC: A Framework for eXploitable Fault Characterization in Block Ciphers. DAC (2017)
Saurav Kumar Ghosh, P. Vishnuvardhan, Satya Gautam Vadlamudi, Aritra Hazra, Soumyajit Dey, Partha Pratim Chakrabarti
RELSPEC: a framework for reliability aware design of component based embedded systems. Des. Autom. Embed. Syst. 21 (1) (2017)
Sudipa Mandal, Antonio Anastasio Bruto da Costa, Aritra Hazra, Pallab Dasgupta, Bhushan Naware, Chunduri Rama Mohan, Sanjib Basu
Formal Verification of Power Management Logic with Mixed-Signal Domains. VLSI Design (2017)
Saurav Kumar Ghosh, Akash Mondal, Souradeep Dutta, Aritra Hazra, Soumyajit Dey
Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems. VDAT (2016)
Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti
Formal assessment of reliability specifications in embedded cyber-physical systems. J. Appl. Log. 18 (2016)
Saurav Kumar Ghosh, Aritra Hazra, Soumyajit Dey
RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications. VLSI Design (2015)
Rajorshee Raha, Aritra Hazra, Akash Mondal, Soumyajit Dey, Partha Pratim Chakrabarti, Pallab Dasgupta
Synthesis of sampling modes for adaptive control. ICCSCE (2014)
Aritra Hazra, Rajdeep Mukherjee, Pallab Dasgupta, Ajit Pal, Kevin Harer, Ansuman Banerjee, Subhankar Mukherjee
POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (11) (2013)
Aritra Hazra, Priyankar Ghosh, Satya Gautam Vadlamudi, P. P. Chakrabarti, Pallab Dasgupta
Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications. IEEE Embed. Syst. Lett. 5 (1) (2013)
M. Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti
Handling fault detection latencies in automata-based scheduling for embedded control software. CACSD (2013)
M. Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta
Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software. IEEE Embed. Syst. Lett. 5 (2) (2013)
Aritra Hazra, Sahil Goyal, Pallab Dasgupta, Ajit Pal
Formal Verification of Architectural Power Intent. IEEE Trans. Very Large Scale Integr. Syst. 21 (1) (2013)
Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti
Cohesive Coverage Management: Simulation Meets Formal Methods. J. Electron. Test. 28 (4) (2012)
Priyankar Ghosh, Aritra Hazra, Rahul Gonnabhaktula, Niraj Bhilegaonkar, Pallab Dasgupta, Chittaranjan A. Mandal, Krishna Paul
POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads. J. Low Power Electron. 8 (3) (2012)
Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta
Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems. FDL (2012)
Aritra Hazra, Pallab Dasgupta, Ansuman Banerjee, Kevin Harer
Formal methods for coverage analysis of architectural power states in power-managed designs. ASP-DAC (2012)
Priyankar Ghosh, Aritra Hazra, Niraj Bhilegaonkar, Pallab Dasgupta, Chittaranjan A. Mandal, Krishna Paul
POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads. ISED (2011)
Aritra Hazra, Srobona Mitra, Pallab Dasgupta, Ajit Pal, Debabrata Bagchi, Kaustav Guha
Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent. DAC (2010)
Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti
Coverage Management with Inline Assertions and Formal Test Points. VLSI Design (2010)
Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti
Inline Assertions - Embedding Formal Properties in a Test Bench. VLSI Design (2009)
Aritra Hazra, Ansuman Banerjee, Srobona Mitra, Pallab Dasgupta, Partha Pratim Chakrabarti, Chunduri Rama Mohan
Cohesive Coverage Management for Simulation and Formal Property Verification. ISVLSI (2008)