Hassan Eldib

       Postdoctoral Research Associate

       Department of Computer Science
       Rice University


Short Biography

I am a Postdoctoral Research Associate in the Department of Computer Science at Rice University, working with Prof. Swarat Chaudhuri on the PLYNY project. I received a Ph.D.  from Virginia Tech in Computer Engineering. I received the FMCAD best paper award in 2013.  My current research interests include program synthesis and repair utilizing big data and machine learning, with focus on security. During my Ph.D. I have developed several practically scalable security tools for verification and synthesis of cryptographic attacks and attack countermeasures, and other tools for synthesis of optimal embedded control software. 

Research Interests
  • Program repair/synthesis
  • Software/Hardware security 
  • Big data
  • Deep learning
  • Software/Hardware verification and testing
  • Cryptography power side-channel and fault-based attacks and countermeasures
  • Formal methods