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
542014
SMT-based verification of software countermeasures against side-channel attacks
H Eldib, C Wang, P Schaumont
International Conference on Tools and Algorithms for the Construction and …, 2014
502014
QMS: Evaluating the side-channel resistance of masked software from source code
H Eldib, C Wang, M Taha, P Schaumont
2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC), 1-6, 2014
482014
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
272015
Synthesis of fault-attack countermeasures for cryptographic circuits
H Eldib, M Wu, C Wang
International Conference on Computer Aided Verification, 343-363, 2016
252016
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
252014
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
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
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–10