Asmaa Hailane

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Cryptographic Algorithms

Security Properties

Hamming Distance

Top Venues

Publications

Paria Shirani, Sagar Bhatt, Asmaa Hailane, Guy-Vincent Jourdan
Towards Cross-Architecture Binary Code Vulnerability Detection. CASCON (2023)
Nicky Mouha, Asmaa Hailane
The Application of Formal Methods to Real-World Cryptographic Algorithms, Protocols, and Systems. Computer 54 (1) (2021)