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 | 82 | 2014 |
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 | 60 | 2014 |
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 | 58 | 2014 |
Synthesis of fault-attack countermeasures for cryptographic circuits H Eldib, M Wu, C Wang Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 36 | 2016 |
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 | 35 | 2015 |
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 | 31 | 2014 |
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 | 10 | 2021 |
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 | 7 | 2009 |
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 |