Concepedia

Hassan Eldib

HE

7

Publications

189

Citations

7

H-Index

2013

Active since

Affiliations

Virginia Tech(Current)

Hassan Eldib is an author at Virginia Tech specializing in engineering, formal verification, and computer engineering.

Top concepts

EngineeringComputer ScienceSoftware AnalysisFormal VerificationComputer EngineeringProgram AnalysisCryptographyData SecurityEmbedded SystemsHardware Security

Publications per year

2013–2021

7

Publications

7

Formal Verification of Software Countermeasures against Side-Channel Attacks

Hassan Eldib, Chao Wang, Patrick Schaumont · ACM Transactions on Software Engineering and Methodology · 2014 · 58 citations

Cryptographic Primitive, Engineering, Information Security +21

Hassan Eldib, Chao Wang, Mostafa Taha et al. · 2014 · 43 citations

Engineering, Information Security, Fault Attack +19

Quantitative Masking Strength: Quantifying the Power Side-Channel Resistance of Software Code

Hassan Eldib, Chao Wang, Mostafa Taha et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2015 · 25 citations

Engineering, Information Security, Software Engineering +24

Deep_CNN_LSTM_GO: Protein function prediction from amino-acid sequences

Mohamed E.M. Elhaj-Abdou, Hassan Eldib, Amr El-Helw et al. · Computational Biology and Chemistry · 2021 · 19 citations

Natural Sciences, Molecular Biology, Protein Modeling +6

An SMT Based Method for Optimizing Arithmetic Computations in Embedded Software Code

Hassan Eldib, Chao Wang · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2014 · 16 citations

Engineering, Compiler Technology, Computer Architecture +23

Rows per page

1–5 of 7