Ahmed Lekssays

Scientist, Hamad Bin Khalifa University

Joined

February 2025

Names

Ahmed Lekssays (Preferred)

Emails

****@hbku.edu.qa (Confirmed)

Personal Links

Career & Education History

Scientist

Hamad Bin Khalifa University (hbku.edu.qa)

2026 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Bridging the Realism Gap: Generating Formally Verified Vulnerability Datasets from Real-World Code
Ahmed Lekssays, Hamza Mouhcine, Issa Khalil
- ICLR 2026 Conference Desk Rejected Submission
- Readers: Everyone

Co-Authors