Hassan Eldib

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 3

Top Topics

Embedded Software

Countermeasures

Discrete Wavelet Transform

Laplacian Pyramid

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

ACM Trans. Softw. Eng. Methodol.

Publications

Gehan Mohamed, Hassan Eldib, Maha Sharkas
Seizure Prediction using Two-Dimensional Discrete Wavelet Transform and Convolution Neural Networks. IDDM (2021)
Hassan Eldib, Meng Wu, Chao Wang
Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits. CAV (2) (2016)
Hassan Eldib, Chao Wang, Mostafa M. I. Taha, Patrick Schaumont
Quantitative Masking Strength: Quantifying the Power Side-Channel Resistance of Software Code. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34 (10) (2015)
Hassan Eldib, Chao Wang, Patrick Schaumont
Formal Verification of Software Countermeasures against Side-Channel Attacks. ACM Trans. Softw. Eng. Methodol. 24 (2) (2014)
Hassan Eldib, Chao Wang, Patrick Schaumont
SMT-Based Verification of Software Countermeasures against Side-Channel Attacks. TACAS (2014)
Hassan Eldib, Chao Wang, Mostafa M. I. Taha, Patrick Schaumont
QMS: Evaluating the Side-Channel Resistance of Masked Software from Source Code. DAC (2014)
Hassan Eldib, Chao Wang
An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33 (11) (2014)
Hassan Eldib, Chao Wang
Synthesis of Masking Countermeasures against Side Channel Attacks. CAV (2014)
Hassan Eldib, Chao Wang
An SMT based method for optimizing arithmetic computations in embedded software code. FMCAD (2013)