Hassan Eldib

According to our database, Hassan Eldib authored at least 8 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Seizure Prediction using Two-Dimensional Discrete Wavelet Transform and Convolution Neural Networks.

Gehan Mohamed, Hassan Eldib, Maha Sharkas

Proceedings of the 4th International Conference on Informatics & Data-Driven Medicine, Valencia, Spain, November 19, 2021

2016

Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits.

Hassan Eldib, Meng Wu, Chao Wang

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Quantitative Masking Strength: Quantifying the Power Side-Channel Resistance of Software Code.

Hassan Eldib, Chao Wang, Mostafa M. I. Taha, Patrick Schaumont

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

2014

Formal Verification of Software Countermeasures against Side-Channel Attacks.

Hassan Eldib, Chao Wang, Patrick Schaumont

ACM Trans. Softw. Eng. Methodol., 2014

An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code.

Hassan Eldib, Chao Wang

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

SMT-Based Verification of Software Countermeasures against Side-Channel Attacks.

Hassan Eldib, Chao Wang, Patrick Schaumont

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

QMS: Evaluating the Side-Channel Resistance of Masked Software from Source Code.

Hassan Eldib, Chao Wang, Mostafa M. I. Taha, Patrick Schaumont

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Synthesis of Masking Countermeasures against Side Channel Attacks.

Hassan Eldib, Chao Wang

Proceedings of the Computer Aided Verification - 26th International Conference, 2014