Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure
dc.contributor.author | Daniel, Lesly-Ann | |
dc.contributor.author | Bardin, Sebastien | |
dc.contributor.author | Rezk, Tamara | |
dc.date.accessioned | 2024-04-02T09:32:06Z | |
dc.date.available | 2023-05-15T20:01:33Z | |
dc.date.available | 2023-07-03T10:29:37Z | |
dc.date.available | 2024-04-02T09:32:06Z | |
dc.date.issued | 2023 | |
dc.identifier.issn | 2471-2566 | |
dc.identifier.other | WOS:000970870300001 | |
dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/41589.3 | |
dc.source | WOS | |
dc.title | Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure | |
dc.type | Journal article | |
dc.date.embargo | 2023-04-24 | |
dc.identifier.doi | 10.1145/3563037 | |
dc.source.numberofpages | 42 | |
dc.source.peerreview | yes | |
dc.source.beginpage | Art. 11 | |
dc.source.endpage | N/A | |
dc.source.journal | ACM TRANSACTIONS ON PRIVACY AND SECURITY | |
dc.source.issue | October | |
dc.source.volume | 26 | |
imec.availability | Published - open access | |
dc.description.wosFundingText | This project has received funding from the European Union Horizon 2020 research and innovation program under grant agreement No 101021727, from ANR grant ANR-20-CE25-0009-TAVA, and from ANR-17-CE25-0014-01 CISC project. |