Publication:

Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure

Date

2023
Journal article
https://doi.org/10.1145/3563037
Simple item page Full metadata Statistics
 
dc.contributor.authorDaniel, Lesly-Ann
dc.contributor.authorBardin, Sebastien
dc.contributor.authorRezk, Tamara
dc.date.accessioned2024-04-02T09:32:06Z
dc.date.available2023-05-15T20:01:33Z
dc.date.available2023-07-03T10:29:37Z
dc.date.available2024-04-02T09:32:06Z
dc.date.embargo2023-04-24
dc.date.issued2023
dc.description.wosFundingTextThis 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.
dc.identifier.doi10.1145/3563037
dc.identifier.issn2471-2566
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/41589
dc.publisherASSOC COMPUTING MACHINERY
dc.source.beginpageArt. 11
dc.source.endpageN/A
dc.source.issueOctober
dc.source.journalACM TRANSACTIONS ON PRIVACY AND SECURITY
dc.source.numberofpages42
dc.source.volume26
dc.subject.keywordsSIDE-CHANNEL COUNTERMEASURES
dc.subject.keywordsFORMAL VERIFICATION
dc.subject.keywordsINFORMATION-FLOW
dc.subject.keywordsEXECUTION
dc.title

Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure

dc.typeJournal article
dspace.entity.typePublication
Files

Original bundle

Name:
Binsec_Rel__Symbolic_Binary_Analyzer_for_Security_with_Applications_to_Constant-Time_and_Secret-Erasure.pdf
Size:
1.02 MB
Format:
Adobe Portable Document Format
Description:
Accepted version
Download
Publication available in collections:
Articles