The Application of Formal Methods to Real-World Cryptographic Algorithms, Protocols, and Systems. - Nicky Mouha; Asmaa Hailane (Computer, 2021)

Towards Cross-Architecture Binary Code Vulnerability Detection. - Paria Shirani; Sagar Bhatt; Asmaa Hailane; Guy-Vincent Jourdan (CASCON, 2023)

VulPatrol: Interprocedural Vulnerability Detection and Localization through Semantic Graph Learning. - Asmaa Hailane; Paria Shirani; Guy-Vincent Jourdan (CODASPY, 2025)