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
292017
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
262012
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
202010
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
142013
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
122019
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
112008
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
82017
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
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 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
62012
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
52020
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
52020
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
52019
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
PUF-G: A CAD framework for automated assessment of provable learnability from formal PUF representations
D Chatterjee, D Mukhopadhyay, A Hazra
Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020
42020
Interpose PUF can be PAC Learned.
D Chatterjee, D Mukhopadhyay, A Hazra
IACR Cryptol. ePrint Arch. 2020, 471, 2020
42020
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
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
32009
The system can't perform the operation now. Try again later.
Articles 1–20