Aritra Hazra

According to our database, Aritra Hazra authored at least 59 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification.

Sourav Das, Aritra Hazra, Pallab Dasgupta, Sudipta Kundu, Himanshu Jain

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications.

Sourav Das, Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta

ACM Trans. Design Autom. Electr. Syst., January, 2023

Explainable Decision Tree-Based Screening of Cognitive Impairment Leveraging Minimal Neuropsychological Tests.

Km Poonam, Aayush Prasad, Rajlakshmi Guha, Aritra Hazra, P. P. Chakrabarti

Proceedings of the Pattern Recognition and Machine Intelligence, 2023

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

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

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

Systematically Quantifying Cryptanalytic Non-Linearities in Strong PUFs.

Durba Chatterjee, Kuheli Pratihar, Aritra Hazra, Ulrich Rührmair, Debdeep Mukhopadhyay

IACR Cryptol. ePrint Arch., 2022

PAC Learnability of iPUF Variants.

Durba Chatterjee, Debdeep Mukhopadhyay, Aritra Hazra

IACR Cryptol. ePrint Arch., 2022

Towards Adversarial Purification using Denoising AutoEncoders.

Dvij Kalaria, Aritra Hazra, Partha Pratim Chakrabarti

CoRR, 2022

Formal Methods for Characterization and Analysis of Quality Specifications in Component-based Systems.

Aritra Hazra

CoRR, 2022

Optimal Multi-Agent Path Finding for Precedence Constrained Planning Tasks.

Kushal Kedia, Rajat Kumar Jenamani, Aritra Hazra, Partha Pratim Chakrabarti

CoRR, 2022

Tracking Coverage Artefacts for Periodic Signals using Sequence-based Abstractions.

Ayan Chakraborty, Sayandeep Sanyal, Pallab Dasgupta, Aritra Hazra, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian

Proceedings of the 35th International Conference on VLSI Design and 2022 21st International Conference on Embedded Systems, 2022

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

Learnability of Multiplexer PUF and S_N-PUF : A Fourier-based Approach.

Durba Chatterjee, Debdeep Mukhopadhyay, Aritra Hazra

IACR Cryptol. ePrint Arch., 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

Usage-Driven Personalization of Power Management Logic.

Sudipa Mandal, Aritra Hazra, Pallab Dasgupta

IEEE Embed. Syst. Lett., 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

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

Methodology for Biasing Random Simulation for Rapid Coverage of Corner Cases in AMS Designs.

Sayandeep Sanyal, Ayan Chakraborty, Pallab Dasgupta, Aritra Hazra

CoRR, 2021

An RL based Approach for Thermal-Aware Energy Optimized Task Scheduling in Multi-core Processors.

Sudipa Mandal, Krushna Gaurkar, Pallab Dasgupta, Aritra Hazra

Proceedings of the 34th International Conference on VLSI Design and 20th International Conference on Embedded Systems, 2021

Formal Analysis of Physically Unclonable Functions.

Durba Chatterjee, Debdeep Mukhopadhyay, Aritra Hazra

Proceedings of the 29th IFIP/IEEE International Conference on Very Large Scale Integration, 2021

SACReD: An Attack Framework on SAC Resistant Delay-PUFs leveraging Bias and Reliability Factors.

Durba Chatterjee, Urbi Chatterjee, Debdeep Mukhopadhyay, Aritra Hazra

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

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

FEDS: Comprehensive Fault Attack Exploitability Detection for Software Implementations of Block Ciphers.

Keerthi K., Indrani Roy, Chester Rebeiro, Aritra Hazra, Swarup Bhunia

IACR Trans. Cryptogr. Hardw. Embed. Syst., 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

Interpose PUF can be PAC Learned.

Durba Chatterjee, Debdeep Mukhopadhyay, Aritra Hazra

IACR Cryptol. ePrint Arch., 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

CoveRT: A Coverage Reporting Tool for Analog Mixed-Signal Designs.

Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian

Proceedings of the 33rd International Conference on VLSI Design and 19th International Conference on Embedded Systems, 2020

PUF-G: A CAD Framework for Automated Assessment of Provable Learnability from Formal PUF Representations.

Durba Chatterjee, Debdeep Mukhopadhyay, Aritra Hazra

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

SOLOMON: An Automated Framework for Detecting Fault Attack Vulnerabilities in Hardware.

Milind Srivastava, Patanjali SLPSK, Indrani Roy, Chester Rebeiro, Aritra Hazra, Swarup Bhunia

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

The Notion of Cross Coverage in AMS Design Verification.

Sayandeep Sanyal, Aritra Hazra, Pallab Dasgupta, Scott Morrison, Sudhakar Surendran, Lakshmanan Balasubramanian

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019

Formal Analysis of PUF Instances Leveraging Correlation-Spectra in Boolean Functions.

Durba Chatterjee, Aritra Hazra, Debdeep Mukhopadhyay

Proceedings of the Security, Privacy, and Applied Cryptography Engineering, 2019

Formal Verification for Security in IoT Devices.

Keerthi K., Indrani Roy, Aritra Hazra, Chester Rebeiro

Proceedings of the Security and Fault Tolerance in Internet of Things, 2019

2018

An Algorithmic Approach to Formally Verify an ECC Library.

Keerthi K., Chester Rebeiro, Aritra Hazra

ACM Trans. Design Autom. Electr. Syst., 2018

Testability Analysis of PUFs Leveraging Correlation-Spectra in Boolean Functions.

Durba Chatterjee, Aritra Hazra, Debdeep Mukhopadhyay

CoRR, 2018

Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components.

Sudipa Mandal, Aritra Hazra, Pallab Dasgupta, Chunduri Rama Mohan

Proceedings of the 31st International Conference on VLSI Design and 17th International Conference on Embedded Systems, 2018

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 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

Proceedings of the 30th International Conference on VLSI Design and 16th International Conference on Embedded Systems, 2017

XFC: A Framework for eXploitable Fault Characterization in Block Ciphers.

Punit Khanna, Chester Rebeiro, Aritra Hazra

Proceedings of the 54th Annual Design Automation Conference, 2017

2016

Formal assessment of reliability specifications in embedded cyber-physical systems.

Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti

J. Appl. Log., 2016

Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems.

Saurav Kumar Ghosh, Akash Mondal, Souradeep Dutta, Aritra Hazra, Soumyajit Dey

Proceedings of the 20th International Symposium on VLSI Design and Test, 2016

2015

RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications.

Saurav Kumar Ghosh, Aritra Hazra, Soumyajit Dey

Proceedings of the 28th International Conference on VLSI Design, 2015

2014

Synthesis of sampling modes for adaptive control.

Rajorshee Raha, Aritra Hazra, Akash Mondal, Soumyajit Dey, Partha Pratim Chakrabarti, Pallab Dasgupta

Proceedings of the 2014 IEEE International Conference on Control System, 2014

2013

Formal Verification of Architectural Power Intent.

Aritra Hazra, Sahil Goyal, Pallab Dasgupta, Ajit Pal

IEEE Trans. Very Large Scale Integr. Syst., 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

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

Reliability Guarantees in Automata-Based Scheduling for Embedded Control Software.

M. Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta

IEEE Embed. Syst. Lett., 2013

Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications.

Aritra Hazra, Priyankar Ghosh, Satya Gautam Vadlamudi, P. P. Chakrabarti, Pallab Dasgupta

IEEE Embed. Syst. Lett., 2013

Handling fault detection latencies in automata-based scheduling for embedded control software.

M. Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti

Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013

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

Cohesive Coverage Management: Simulation Meets Formal Methods.

Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti

J. Electron. Test., 2012

Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems.

Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Formal methods for coverage analysis of architectural power states in power-managed designs.

Aritra Hazra, Pallab Dasgupta, Ansuman Banerjee, Kevin Harer

Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012

2011

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

Proceedings of the International Symposium on Electronic System Design, 2011

2010

Coverage Management with Inline Assertions and Formal Test Points.

Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti

Proceedings of the VLSI Design 2010: 23rd International Conference on VLSI Design, 2010

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

Proceedings of the 47th Design Automation Conference, 2010

2009

Inline Assertions - Embedding Formal Properties in a Test Bench.

Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti

Proceedings of the VLSI Design 2009: Improving Productivity through Higher Abstraction, 2009

2008

Cohesive Coverage Management for Simulation and Formal Property Verification.

Aritra Hazra, Ansuman Banerjee, Srobona Mitra, Pallab Dasgupta, Partha Pratim Chakrabarti, Chunduri Rama Mohan

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2008