TY - RPRT TI - A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries AU - Antoine Geimer AU - Mathéo Vergnolle AU - Frédéric Recoules AU - Lesly-Ann Daniel AU - Sébastien Bardin AU - Clémentine Maurice PY - 2023 UR - https://arxiv.org/abs/2310.08153 ID - 2310.08153 ER -