Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Hassan Eldib
Institution:
Virginia Tech
Observed institution:
Virginia Tech
OpenAlex ID:
A5014874848
Synthesis of Masking Countermeasures against Side Channel Attacks
2014
·
Hassan Eldib
, Chao Wang
·
Lecture notes in computer science
·
68
Formal Verification of Software Countermeasures against Side-Channel Attacks
2014
·
Hassan Eldib
, Chao Wang
, et al.
·
ACM Transactions on Software Engineering and Methodology
·
61
SMT-Based Verification of Software Countermeasures against Side-Channel Attacks
2014
·
Hassan Eldib
, Chao Wang
, et al.
·
Lecture notes in computer science
·
40
PDF
QMS
2014
·
Hassan Eldib
, Chao Wang
, et al.
·
ACM/IEEE Design Automation Conference (DAC)
·
39
Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits
2016
·
Hassan Eldib
, Meng Wu
, et al.
·
Lecture notes in computer science
·
29
Quantitative Masking Strength: Quantifying the Power Side-Channel Resistance of Software Code
2015
·
Hassan Eldib
, Chao Wang
, et al.
·
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
·
23
QMS: Evaluating the side-channel resistance of masked software from source code
2014
·
Hassan Eldib
, Chao Wang
, et al.
·
ACM/IEEE Design Automation Conference (DAC)
·
18
An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code
2014
·
Hassan Eldib
, Chao Wang
·
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
·
15
An SMT based method for optimizing arithmetic computations in embedded software code
2013
·
Hassan Eldib
, Chao Wang
·
Formal Methods in Computer-Aided Design
·
12
Constraint Based Program Synthesis for Embedded Software
2015
·
Hassan Eldib
Show more works
View as search
Works count:
10
Citation count:
305
H-index:
9
I10-index:
9
Year
Topic
Type
