Follow
Hassan Eldib
Title
Cited by
Cited by
Year
Formal verification of software countermeasures against side-channel attacks
H Eldib, C Wang, P Schaumont
ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (2), 1-24, 2014
832014
SMT-based verification of software countermeasures against side-channel attacks
H Eldib, C Wang, P Schaumont
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
612014
QMS: Evaluating the side-channel resistance of masked software from source code
H Eldib, C Wang, M Taha, P Schaumont
Proceedings of the 51st Annual Design Automation Conference, 1-6, 2014
582014
Quantitative Masking Strength: Quantifying the Power Side-Channel Resistance of Software Code
H Eldib, M Taha, C Wang, P Schaumont
Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2015
342015
Synthesis of fault-attack countermeasures for cryptographic circuits
H Eldib, M Wu, C Wang
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
332016
An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code
CW Hassan Eldib
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2014
312014
Deep_CNN_LSTM_GO: Protein function prediction from amino-acid sequences
MEH Mohamed E.M. Elhaj-Abdou, Hassan El-Dib, Amr El-Helw
Computational Biology and Chemistry 95, 2021
92021
Design of an 8-bit pipelined ADC with lower than 0.5 LSB DNL and INL without calibration
ES Eid, H El-Dib
2009 4th International Design and Test Workshop (IDT), 1-6, 2009
72009
Seizure Prediction using Two-Dimensional Discrete Wavelet Transform and Convolution Neural Networks
G Mohamed, H Eldib, M Sharkas
International Conference on Informatics and Data-Driven Medicine 3038, 100-108, 2021
2021
Constraint Based Program Synthesis for Embedded Software
HS Eldib
Virginia Tech, 2015
2015
s for Critical Applications
C Wang, H Eldib
Symposium on Dynamic Spectrum Access Networks (DySPAN), 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–11