Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Aritra Hazra
Observed names:
A. Hazra,
Hazra, Aritra
Institution:
Indian Institute of Technology Kharagpur
Observed institutions:
Indian Institute of Technology Kharagpur,
Indian Institute of Technology Madras,
STMicroelectronics (India)
ORCID:
0000-0003-2076-3577
Observed ORCID:
0000-0003-2076-3577
OpenAlex ID:
A5022880201
An Efficient Architecture for 3-D Discrete Wavelet Transform
2009
·
A. Das
, A. Hazra
, et al.
·
IEEE Transactions on Circuits and Systems for Video Technology
·
70
XFC
2017
·
Punit Khanna
, Chester Rebeiro
, et al.
·
ACM/IEEE Design Automation Conference (DAC)
·
31
SAFARI: Automatic Synthesis of Fault-Attack Resistant Block Cipher Implementations
2019
·
Indrani Roy
, Chester Rebeiro
, et al.
·
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
·
26
Formal Verification of Architectural Power Intent
2012
·
Aritra Hazra
, Sahil Goyal
, et al.
·
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
·
22
Physically Related Functions: Exploiting Related Inputs of PUFs for Authenticated-Key Exchange
2022
·
Durba Chatterjee
, Harishma Boyapally
, et al.
·
IEEE Transactions on Information Forensics and Security
·
17
Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent
2010
·
Aritra Hazra
, Srobona Mitra
, et al.
·
ACM/IEEE Design Automation Conference (DAC)
·
17
Systematically Quantifying Cryptanalytic Nonlinearities in Strong PUFs
2023
·
Durba Chatterjee
, Kuheli Pratihar
, et al.
·
IEEE Transactions on Information Forensics and Security
·
16
PUF-G
2020
·
Durba Chatterjee
, Debdeep Mukhopadhyay
, et al.
·
15
Formal Verification for Security in IoT Devices
2018
·
K. Keerthi
, Indrani Roy
, et al.
·
Internet of things
·
15
SOLOMON: An Automated Framework for Detecting Fault Attack Vulnerabilities in Hardware
2020
·
Milind Srivastava
, Patanjali SLPSK
, et al.
·
Design, Automation, and Test in Europe
·
14
POWER-TRUCTOR: An Integrated Tool Flow for Formal Verification and Coverage of Architectural Power Intent
2013
·
Aritra Hazra
, Rajdeep Mukherjee
, et al.
·
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
·
14
Interpose PUF can be PAC Learned
2020
·
Durba Chatterjee
, Debdeep Mukhopadhyay
, et al.
·
IACR Cryptology ePrint Archive
·
12
SACReD: An Attack Framework on SAC Resistant Delay-PUFs leveraging Bias and Reliability Factors
2021
·
Durba Chatterjee
, Urbi Chatterjee
, et al.
·
ACM/IEEE Design Automation Conference (DAC)
·
11
Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications
2013
·
Aritra Hazra
, Priyankar Ghosh
, et al.
·
IEEE Embedded Systems Letters
·
10
FEDS: Comprehensive Fault Attack Exploitability Detection for Software Implementations of Block Ciphers
2020
·
Keerthi K
, Indrani Roy
, et al.
·
IACR Transactions on Cryptographic Hardware and Embedded Systems
·
9
Formal assessment of reliability specifications in embedded cyber-physical systems
2016
·
Aritra Hazra
, Pallab Dasgupta
, et al.
·
Journal of Applied Logic
·
9
PDF
Synthesis of sampling modes for adaptive control
2014
·
Rajorshee Raha
, Aritra Hazra
, et al.
·
IEEE International Conference on Control System, Computing and Engineering
·
8
Cohesive Coverage Management for Simulation and Formal Property Verification
2008
·
Aritra Hazra
, Ansuman Banerjee
, et al.
·
IEEE Computer Society Annual Symposium on VLSI
·
8
CoveRT: A Coverage Reporting Tool for Analog Mixed-Signal Designs
2020
·
Sayandeep Sanyal
, Aritra Hazra
, et al.
·
International Conference on VLSI Design
·
7
Formal Analysis of PUF Instances Leveraging Correlation-Spectra in Boolean Functions
2019
·
Durba Chatterjee
, Aritra Hazra
, et al.
·
Lecture notes in computer science
·
6
Formal Verification of Power Management Logic with Mixed-Signal Domains
2017
·
Sudipa Mandal
, Antonio Bruto Da Costa
, et al.
·
International Conference on VLSI Design
·
6
Formal methods for coverage analysis of architectural power states in power-managed designs
2012
·
Aritra Hazra
, Pallab Dasgupta
, et al.
·
Asia and South Pacific Design Automation Conference (ASP-DAC)
·
5
PARLE-G: Provable Automated Representation and Analysis Framework for Learnability Evaluation of Generic PUF Compositions
2023
·
Durba Chatterjee
, Aritra Hazra
, et al.
·
IEEE Transactions on Computers
·
4
Explainable Decision Tree-Based Screening of Cognitive Impairment Leveraging Minimal Neuropsychological Tests
2023
·
Km Poonam
, Aayush Prasad
, et al.
·
Lecture notes in computer science
·
4
Towards Adversarial Purification using Denoising AutoEncoders
2022
·
Kalaria, Dvij
, Hazra, Aritra
, et al.
·
arXiv (Cornell University)
·
4
PDF
Show more works
View as search
Works count:
80
Citation count:
415
H-index:
12
I10-index:
14
Year
Topic
Type
