| XFC: A framework for exploitable fault characterization in block ciphers P Khanna, C Rebeiro, A Hazra Proceedings of the 54th Annual Design Automation Conference 2017, 1-6, 2017 | 55 | 2017 |
| 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 | 31 | 2019 |
| 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 | 30 | 2020 |
| 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 | 28 | 2012 |
| 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, 2018 | 24 | 2018 |
| 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 | 22 | 2010 |
| 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 | 21 | 2020 |
| Interpose PUF can be PAC learned D Chatterjee, D Mukhopadhyay, A Hazra Cryptology ePrint Archive, 2020 | 21 | 2020 |
| Physically related functions: Exploiting related inputs of PUFs for authenticated-key exchange D Chatterjee, H Boyapally, S Patranabis, U Chatterjee, A Hazra, ... IEEE Transactions on Information Forensics and Security 17, 3847-3862, 2022 | 15 | 2022 |
| 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 | 15 | 2013 |
| SACReD: An attack framework on SAC resistant delay-PUFs leveraging bias and reliability factors D Chatterjee, U Chatterjee, D Mukhopadhyay, A Hazra 2021 58th ACM/IEEE Design Automation Conference (DAC), 85-90, 2021 | 13 | 2021 |
| 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 | 12 | 2008 |
| Systematically quantifying cryptanalytic nonlinearities in strong PUFs D Chatterjee, K Pratihar, A Hazra, U Rührmair, D Mukhopadhyay IEEE Transactions on Information Forensics and Security 19, 1126-1141, 2023 | 11 | 2023 |
| Towards adversarial purification using denoising autoencoders D Kalaria, A Hazra, PP Chakrabarti arXiv preprint arXiv:2208.13838, 2022 | 10 | 2022 |
| 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 | 10 | 2020 |
| 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 | 9 | 2017 |
| 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 | 9 | 2013 |
| Formal assessment of reliability specifications in embedded cyber-physical systems A Hazra, P Dasgupta, PP Chakrabarti Journal of Applied Logic 18, 71-104, 2016 | 8 | 2016 |
| 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 | 8 | 2013 |
Pallab DasguptaSynopsys IncVerified email at cse.iitkgp.ac.in
