Publications
Featured Publications
Seizure Prediction using Two-Dimensional Discrete Wavelet Transform and Convolution Neural Networks
Gehan Mohamed, Hassan Eldib, and Maha Sharkas.
International Conference on Informatics and Data-Driven Medicine. IDDM 2021.
[.pdf]
Deep_CNN_LSTM_GO: Protein Function Prediction from Amino-Acid Sequences
Mohamed E.M. Elhaj-Abdou, Hassan El-Dib, Amr El-Helw, and Mohamed El-Habrouk.
Computational Biology and Chemistry. CBAC 2021.
[.pdf]
Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits
Hassan Eldib, Meng Wu, and Chao Wang.
Computer Aided Verification. CAV 2016.
Quantitative Masking Strength: Quantifying the Power Side-Channel Resistance of Software Code
Hassan Eldib, Chao Wang, Mostafa Taha, and Patric Schaumont
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, accepted 2015, (extended version of the DAC14 paper). TCAD 2015.
Formal verification of software countermeasures against side-channel attacks
Hassan Eldib, Chao Wang, and Patric Schaumont.
ACM Transactions on Software Engineering and Methodology, accepted 2014, (extension of TACAS14 paper). TOSEM 2014.
[.pdf] [BibTex]
An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code
Hassan Eldib and Chao Wang
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 33(11):1611-1622, 2014. (Extended version of the FMCAD13 paper). TCAD 2014.
[.pdf] [BibTex]
Synthesis of Masking Countermeasures against Side Channel Attacks
Hassan Eldib and Chao Wang.
Computer Aided Verification. CAV 2014.
[.pdf] [BibTex]
QMS: Evaluating the Side-Channel Resistance of Masked Software from Source Code
Hassan Eldib, Chao Wang, Mostafa Taha, and Patric Schaumont
Design Automation Conference. DAC 2014.
[.pdf] [BibTex]
SMT-Based Verification of Software Countermeasures against Side-Channel Attacks
Hassan Eldib, Chao Wang, and Patric Schaumont.
In Proceedings of the 20th international conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2014.
[.pdf] [BibTex]
An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code
Hassan Eldib and Chao Wang
Formal Methods in Computer-Aided Design. FMCAD 2013. BEST PAPER AWARD
[.pdf] [BibTex]
Design of an 8-bit Pipelined ADC with Lower than 0.5 LSB DNL and INL without Calibration
El-Sayed Eid and Hassan Eldib
Design and Test Workshop. IDT 2009.
[.pdf]