Aritra Hazra

Cited by

	All	Since 2016
Citations	174	117
h-index	8	6
i10-index	6	4

2010201120122013201420152016201720182019202020212 2 10 24 12 3 12 19 19 21 41 5

Co-authors

Pallab DasguptaIndian Institute of Technology KharagpurVerified email at cse.iitkgp.ac.in
Chester RebeiroIndian Institute of Technology MadrasVerified email at cs.columbia.edu
Ansuman BanerjeeAssociate Professor, Indian Statistical InstituteVerified email at isical.ac.in
Swarup BhuniaUniversity of FloridaVerified email at ece.ufl.edu
soumyajit deyAssistant Professor, Computer Science, IIT KharagpurVerified email at cse.iitkgp.ernet.in
Sudipa MandalPh.D student of Computer Science and Engineering Department, IIT KharagpurVerified email at cse.iitkgp.ernet.in
Debdeep MukhopadhyayProfessor, Dept of Computer Science and Engineering, IIT Kharagpur, IndiaVerified email at cse.iitkgp.ac.in
Durba ChatterjeeIndian Institute of Technology, KharagpurVerified email at iitkgp.ac.in
Keerthi KPhD Research Scholar, IIT MadrasVerified email at smail.iitm.ac.in
Sahil GoyalComputer Science and Engineering, University of California San DiegoVerified email at cs.ucsd.edu
Punit KhannaIndian Institute of Technology MadrasVerified email at cse.iitm.ac.in
Antonio A. Bruto da CostaPh.D. Student in Computer Science and Engineering, Indian Institute of Technology, KharagpurVerified email at cse.iitkgp.ernet.in
Satya Gautam VadlamudiElystarVerified email at selp7.hbs.edu
RAJDEEP MUKHERJEEAmazonVerified email at amazon.com
Subhankar MukherjeeR & D Software EngineerVerified email at cadence.com
Rajorshee RahaManager (ADAS R&D) at Mahindra Truck & Bus Division; PhD from IIT KharagpurVerified email at cse.iitkgp.ernet.in
Santhosh PrabhuUniversity of IllinoisVerified email at illinois.edu
Milind SrivastavaCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Patanjali SLPSKUniversity of FloridaVerified email at ufl.edu
Chittaranjan MandalDept of Computer Sc & Engg, IIT KharagpurVerified email at iitkgp.ac.in

Aritra Hazra

Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur

Verified email at cse.iitkgp.ac.in - Homepage

Formal Methods Design Verification VLSI CAD EDA


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Formal verification of architectural power intent A Hazra, S Goyal, P Dasgupta, A Pal IEEE transactions on very large scale integration (VLSI) systems 21 (1), 78-91, 2012	26	2012
XFC: a framework for eXploitable fault characterization in block ciphers P Khanna, C Rebeiro, A Hazra 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC), 1-6, 2017	24	2017
Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent A Hazra, S Mitra, P Dasgupta, A Pal, D Bagchi, K Guha Proceedings of the 47th Design Automation Conference, 773-776, 2010	20	2010
POWER-TRUCTOR: An integrated tool flow for formal verification and coverage of architectural power intent A Hazra, R Mukherjee, P Dasgupta, A Pal, KM Harer, A Banerjee, ... IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013	14	2013
Cohesive coverage management for simulation and formal property verification A Hazra, A Banerjee, S Mitra, P Dasgupta, PP Chakrabarti, CR Mohan 2008 IEEE Computer Society Annual Symposium on VLSI, 251-256, 2008	11	2008
SAFARI: Automatic synthesis of fault-attack resistant block cipher implementations I Roy, C Rebeiro, A Hazra, S Bhunia IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2019	10	2019
Formal verification of power management logic with mixed-signal domains S Mandal, AB Da Costa, A Hazra, P Dasgupta, B Naware, RM Chunduri, ... 2017 30th International Conference on VLSI Design and 2017 16th …, 2017	8	2017
Synthesis of sampling modes for adaptive control R Raha, A Hazra, A Mondal, S Dey, PP Chakrabarti, P Dasgupta 2014 IEEE International Conference on Control System, Computing and …, 2014	8	2014
Reliability guarantees in automata-based scheduling for embedded control software A Hazra, P Dasgupta IEEE Embedded Systems Letters 5 (2), 17-20, 2013	6	2013
Formal methods for early analysis of functional reliability in component-based embedded applications A Hazra, P Ghosh, SG Vadlamudi, PP Chakrabarti, P Dasgupta IEEE Embedded Systems Letters 5 (1), 8-11, 2013	6	2013
Formal methods for coverage analysis of architectural power states in power-managed designs A Hazra, P Dasgupta, A Banerjee, K Harer 17th Asia and South Pacific Design Automation Conference, 585-590, 2012	6	2012
Formal assessment of reliability specifications in embedded cyber-physical systems A Hazra, P Dasgupta, PP Chakrabarti Journal of Applied Logic 18, 71-104, 2016	5	2016
SOLOMON: An automated framework for detecting fault attack vulnerabilities in hardware M Srivastava, P Slpsk, I Roy, C Rebeiro, A Hazra, S Bhunia 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 310-313, 2020	4	2020
FEDS: Comprehensive fault attack exploitability detection for software implementations of block ciphers K Keerthi, I Roy, C Rebeiro, A Hazra, S Bhunia IACR Transactions on Cryptographic Hardware and Embedded Systems, 272-299, 2020	3	2020
Formal verification for security in iot devices K Keerthi, I Roy, A Hazra, C Rebeiro Security and Fault Tolerance in Internet of Things, 179-200, 2019	3	2019
Handling fault detection latencies in automata-based scheduling for embedded control software MS Prabhu, A Hazra, P Dasgupta, PP Chakrabarti 2013 IEEE Conference on Computer Aided Control System Design (CACSD), 1-6, 2013	3	2013
POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads P Ghosh, A Hazra, R Gonnabhaktula, N Bhilegaonkar, P Dasgupta, ... Journal of Low Power Electronics 8 (3), 293-303, 2012	3	2012
Inline Assertions-Embedding Formal Properties in a Test Bench A Hazra, P Ghosh, P Dasgupta, PP Chakrabarti 2009 22nd International Conference on VLSI Design, 71-76, 2009	3	2009
Interpose PUF can be PAC Learned. D Chatterjee, D Mukhopadhyay, A Hazra IACR Cryptol. ePrint Arch. 2020, 471, 2020	2	2020
Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems SK Ghosh, A Mondal, S Dutta, A Hazra, S Dey 2016 20th International Symposium on VLSI Design and Test (VDAT), 1-6, 2016	2	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors