A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries

Geimer, AntoineAntoineGeimerVergnolle, MatheoMatheoVergnolleRecoules, FredericFredericRecoulesDaniel, Lesly-AnnLesly-AnnDanielBardin, SebastienSebastienBardinMaurice, ClementineClementineMaurice2024-03-262024-02-252024-03-262023N/AWOS:001124987201047https://imec-publications.be/handle/20.500.12860/43586A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic LibrariesProceedings paper10.1145/3576915.3623112979-8-4007-0050-7WOS:001124987201047SYMBOLIC EXECUTION