Synthesis of Masking Countermeasures against Side Channel Attacks. - Hassan Eldib; Chao Wang 001 (CAV, 2014)

QMS: Evaluating the Side-Channel Resistance of Masked Software from Source Code. - Hassan Eldib; Chao Wang 001; Mostafa M. I. Taha; Patrick Schaumont (DAC, 2014)

SMT-Based Verification of Software Countermeasures against Side-Channel Attacks. - Hassan Eldib; Chao Wang 001; Patrick Schaumont (TACAS, 2014)

An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code. - Hassan Eldib; Chao Wang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Formal Verification of Software Countermeasures against Side-Channel Attacks. - Hassan Eldib; Chao Wang 001; Patrick Schaumont (ACM Trans. Softw. Eng. Methodol., 2014)

Quantitative Masking Strength: Quantifying the Power Side-Channel Resistance of Software Code. - Hassan Eldib; Chao Wang 001; Mostafa M. I. Taha; Patrick Schaumont (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015)

Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits. - Hassan Eldib; Meng Wu 001; Chao Wang 001 (CAV (2), 2016)

Seizure Prediction using Two-Dimensional Discrete Wavelet Transform and Convolution Neural Networks. - Gehan Mohamed; Hassan Eldib; Maha Sharkas (IDDM, 2021)