Aritra Hazra Home Page
Assistant Professor
(On leave at IIT Kharagpur)
Email : aritrah@cse.iitm.ac.in   |   Phone : 4375
Lab(s) : VLSI Lab, CASL Lab.
Link to Personal Homepage

Research Interests :

Formal Methods, Design Verification, VLSI CAD, Reliability, Fault-tolerant Systems, Embedded Control Scheduling.

Publications : (Last Five, while at IITM)DBLP | View All

  • XFC: A Framework for eXploitable Fault Characterization in Block Ciphers. 
    Authors : Punit Khanna, Chester Rebeiro, Aritra Hazra
    Appeared in Proceedings of the 54th Annual Design Automation Conference, DAC 2017, Austin, TX, USA, June 18-22, 2017 (DAC 2017) ,pp.8:1-8:6, Jun 2017


(Recent) Teaching : View All  |  Back to top

Jan 2017 - May 2017 : - Digital Design Verification (CS6760)
Jul 2016 - Nov 2016 : - Programming and Data Structures (CS2700)
Jul 2016 - Nov 2016 : - Programming and Data Structures Lab (CS2710)
Jan 2016 - Apr 2016 : - Digital Design Verification (CS6760)

(Current) Advisees View All  |  Back to top

ProgramNameRoll No.Joining DateFunding
MSAdithya Sudheer KaratCS15S043Jan 2016HTRA