Daniel, Lesly-Ann

1. Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at\n Binary-Level
   2019/12/18 by Lesly-Ann Daniel, Sébastien Bardin, Daniel, Lesly-Ann +3 · 3 citations
   Computer Science · #Advanced Malware Detection Techniques #Cryptographic Implementations and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing
2. A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries
   2023/10/12 by Geimer, Antoine, Vergnolle, Mathéo, Recoules, Frédéric +3 · 3 citations
   #A.1 #Cryptography and Security (cs.CR) #D.2.4 #FOS: Computer and information sciences
3. ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version)
   2023/02/23 by Lesly-Ann Daniel, Daniel, Lesly-Ann, Márton Bognár +9 · 2 citations
   Computer Science · Engineering · Materials Science · #Advanced Memory and Neural Computing #Cryptography and Security (cs.CR) #Diamond and Carbon-based Materials Research #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Security and Verification in Computing