Concepedia

Aritra Hazra

AH

13

Publications

259

Citations

10

H-Index

2009

Active since

Affiliations

Indian Institute of Technology Kharagpur(Current)

Indian Institute of Technology Madras

Indian Institute of Technology Kanpur

University of Florida

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

Top concepts

EngineeringComputer EngineeringHardware SecurityFormal VerificationComputer ScienceVerificationFormal MethodsSoftware AnalysisCryptographySystems Engineering

Publications per year

2009–2023

13

Publications

13

An Efficient Architecture for 3-D Discrete Wavelet Transform

Abhijit Das, Aritra Hazra, Swapna Banerjee · IEEE Transactions on Circuits and Systems for Video Technology · 2009 · 70 citations

Filter Bank, Machine Vision, Image Analysis +15

Punit Khanna, Chester Rebeiro, Aritra Hazra · 2017 · 31 citations

Hardware Security, Reliability Engineering, Engineering +13

SAFARI: Automatic Synthesis of Fault-Attack Resistant Block Cipher Implementations

Indrani Roy, Chester Rebeiro, Aritra Hazra et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2019 · 26 citations

Engineering, Information Security, Security Requirements +17

Formal Verification of Architectural Power Intent

Aritra Hazra, Sahil Goyal, Pallab Dasgupta et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2012 · 21 citations

Engineering, Power Optimization (Eda), Architectural Engineering +24

Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent

Aritra Hazra, Srobona Mitra, Pallab Dasgupta et al. · 2010 · 15 citations

Engineering, Hardware Verification Language, Power Optimization (Eda) +27

Rows per page

1–5 of 13