A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries-Reference-Cited by-同舟云学术

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

Published:2023-11-15 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Geimer Antoine¹^ORCID,Vergnolle Mathéo²^ORCID,Recoules Frédéric²^ORCID,Daniel Lesly-Ann³^ORCID,Bardin Sébastien²^ORCID,Maurice Clémentine⁴^ORCID

Affiliation:

1. Univ. Lille, CNRS, Inria, Univ. Rennes, CNRS, IRISA, Lille, France

2. Université Paris-Saclay, CEA, List, Gif-sur-Yvettes, France

3. KU Leuven, imec-DistriNet, Leuven, Belgium

4. Univ. Lille, CNRS, Inria, Lille, France

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3576915.3623112

Reference144 articles.

1. [n. d.]. BearSSL - Constant-Time Crypto. https://bearssl.org/constanttime.html.

2. [n. d.]. Bug 200535 - Valgrind flags lots of uninitialized locations with programs compiled with "-static". https://bugzilla.redhat.com/show_bug.cgi?id=200535.

3. [n. d.]. Implement deterministic ECDSA sign (RFC6979). https://github.com/ openssl/openssl/pull/18809.

4. [n. d.]. OpenSSL. https://www.openssl.org/.

5. O. Aciiçmez S. Gueron and J.-P. Seifert. 2007 a. New Branch Prediction Vulnerabilities in OpenSSL and Necessary Software Countermeasures. In IMACC.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards Efficient Verification of Constant-Time Cryptographic Implementations;Proceedings of the ACM on Software Engineering;2024-07-12

2. Obelix: Mitigating Side-Channels Through Dynamic Obfuscation;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19