Aritra Hazra - RankMe

69 papers A* 3A 5C 2Misc 9Journal 36Unranked 13

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