Aritra Hazra
Assistant Professor
Computer Science and Engineering
Indian Institute of Technology (IIT) Kharagpur
India
Biography
Assistant Professor in the Department of Computer Science and Engineering, IIT, Kharagpur, India.
Research Interest
Formal Methods Design Verification CAD for VLSI & Embedded Systems
Publications
-
Formal Verification of Power Management Logic with Mixed-Signal Domains. [C12] Sudipa Mandal, Antonio A. Bruto da Costa, Aritra Hazra, Pallab Dasgupta, Bhushan Naware, Chunduri Rama Mohan and Sanjib Basu. In the 30th Proceedings of International Conference on VLSI Design (VLSID), pp. 239-244, January 2017. Awarded as the BEST STUDENT PAPER.
-
RELSPEC: A Framework for Reliability Aware Design of Component based Embedded Systems. [J8] Saurav Kumar Ghosh, Vishnuvardhan P., Satya Gautam Vadlamudi, Aritra Hazra, Soumyajit Dey and Partha Pratim Chakrabarti. In the Design Automation for Embedded Systems (DAES) Journal, Springer, vol. 21, no. 1, pp. 37-87, March 2017.
-
XFC: A Framework for Exploitable Fault Characterization in Block Ciphers. [C13] Punit Khanna, Chester Rebeiro and Aritra Hazra. In the 54th Proceedings of Design Automation Conference (DAC), pp. 8:1-8:6, June 2017.
