Aritra Hazra - Concepedia

Author

Aritra Hazra

Indian Institute of Technology Kharagpur ORCID

Also Known As

A. Hazra, Aritra Hazra, Hazra, Aritra

Publications

384

Citations

H-Index

Concepts

All Affiliations

Indian Institute of Technology Kharagpur Indian Institute of Technology Madras Indian Institute of Technology Kanpur University of Florida

About

Aritra Hazra is an author at Indian Institute of Technology Kharagpur specializing in engineering, computer engineering, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	8	8	204
2	Computer Engineering	8	8	204
3	Computer Science	6	6	113
4	Architectural Engineering	2	2	36
5	Social Sciences	1	1	21

Aritra Hazra

Publications

259

Citations

H-Index

Page 1

	Year	Citations
An Efficient Architecture for 3-D Discrete Wavelet Transform Abhijit Das, Aritra Hazra, Swapna Banerjee IEEE Transactions on Circuits and Systems for Video Technology Filter BankMachine VisionImage AnalysisComplete 3-D-dwt ArchitecturesFirst Lifting	2009	70
XFC Punit Khanna, Chester Rebeiro, Aritra Hazra Hardware SecurityReliability EngineeringEngineeringInformation SecurityCryptanalytic Attack	2017	31
SAFARI: Automatic Synthesis of Fault-Attack Resistant Block Cipher Implementations Indrani Roy, Chester Rebeiro, Aritra Hazra, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems EngineeringInformation SecuritySecurity RequirementsBlock CipherCryptanalytic Attacks	2019	26
Formal Verification of Architectural Power Intent Aritra Hazra, Sahil Goyal, Pallab Dasgupta, IEEE Transactions on Very Large Scale Integration (VLSI) Systems EngineeringPower Optimization (Eda)Architectural EngineeringVerificationArchitectural Power Intent	2012	21
Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent Aritra Hazra, Srobona Mitra, Pallab Dasgupta, EngineeringHardware Verification LanguagePower Optimization (Eda)Architectural EngineeringUpf Specifications	2010	15
PUF-G Durba Chatterjee, Debdeep Mukhopadhyay, Aritra Hazra EngineeringHardware Verification LanguageInformation SecurityPuf DesignsVerification	2020	15
Physically Related Functions: Exploiting Related Inputs of PUFs for Authenticated-Key Exchange Durba Chatterjee, Harishma Boyapally, Sikhar Patranabis, IEEE Transactions on Information Forensics and Security	2022	15
POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent Aritra Hazra, Rajdeep Mukherjee, Pallab Dasgupta, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems EngineeringPower Intent ValidationElectronic Design AutomationPower Optimization (Eda)Verification	2013	13
SOLOMON: An Automated Framework for Detecting Fault Attack Vulnerabilities in Hardware Milind Srivastava, Patanjali SLPSK, Indrani Roy, Hardware TrojanEngineeringInformation SecurityVerificationSoftware Analysis	2020	13
Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications Aritra Hazra, Priyankar Ghosh, Satya Gautam Vadlamudi, IEEE Embedded Systems Letters	2013	10

Page 1