Asmaa Hailane
Orcid: 0009-0007-3989-8320
According to our database1,
Asmaa Hailane
authored at least 3 papers
between 2021 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
VulPatrol: Interprocedural Vulnerability Detection and Localization through Semantic Graph Learning.
Proceedings of the Fifteenth ACM Conference on Data and Application Security and Privacy, 2025
2023
Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, 2023
2021
The Application of Formal Methods to Real-World Cryptographic Algorithms, Protocols, and Systems.
Computer, 2021