Aritra Hazra
Aritra Hazra
Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur
Verified email at cse.iitkgp.ac.in - Homepage
Title
Cited by
Cited by
Year
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
242017
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
232012
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
182010
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
122013
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
102008
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
82019
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
82014
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
62017
Reliability guarantees in automata-based scheduling for embedded control software
A Hazra, P Dasgupta
IEEE Embedded Systems Letters 5 (2), 17-20, 2013
62013
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
62013
Formal assessment of reliability specifications in embedded cyber-physical systems
A Hazra, P Dasgupta, PP Chakrabarti
Journal of Applied Logic 18, 71-104, 2016
52016
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
52012
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
32020
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
32019
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
32013
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
32012
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
22020
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
22016
Cohesive coverage management: Simulation meets formal methods
A Hazra, P Ghosh, P Dasgupta, PP Chakrabarti
Journal of Electronic Testing 28 (4), 449-468, 2012
22012
Cohesive Coverage Management Leveraging Formal Test Plans: A Design Intent Verification Perspective
A Hazra, P Dasgupta, PP Chakrabarti
LAP Lambert Academic Publishing, 2012
22012
The system can't perform the operation now. Try again later.
Articles 1–20