Publication:
A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries
| dc.contributor.author | Geimer, Antoine | |
| dc.contributor.author | Vergnolle, Matheo | |
| dc.contributor.author | Recoules, Frederic | |
| dc.contributor.author | Daniel, Lesly-Ann | |
| dc.contributor.author | Bardin, Sebastien | |
| dc.contributor.author | Maurice, Clementine | |
| dc.date.accessioned | 2024-03-26T12:41:21Z | |
| dc.date.available | 2024-02-25T18:23:24Z | |
| dc.date.available | 2024-03-26T12:41:21Z | |
| dc.date.issued | 2023 | |
| dc.description.wosFundingText | This work benefited from the support of the ANR-19-CE39-0007 MIAOUS, ANR-20-CE25-0009 TAVA, PEPR PP Secureval and PEPR PP Rev projects. | |
| dc.identifier.doi | 10.1145/3576915.3623112 | |
| dc.identifier.eisbn | 979-8-4007-0050-7 | |
| dc.identifier.issn | N/A | |
| dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/43586 | |
| dc.publisher | ASSOC COMPUTING MACHINERY | |
| dc.source.beginpage | 1690 | |
| dc.source.conference | 30th ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) | |
| dc.source.conferencedate | NOV 26-30, 2023 | |
| dc.source.conferencelocation | Copenhagen | |
| dc.source.endpage | 1704 | |
| dc.source.journal | N/A | |
| dc.source.numberofpages | 15 | |
| dc.subject.keywords | SYMBOLIC EXECUTION | |
| dc.title | A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries | |
| dc.type | Proceedings paper | |
| dspace.entity.type | Publication | |
| Files | ||
| Publication available in collections: |