ISSN
2471-2566
Issue
October
Journal
ACM TRANSACTIONS ON PRIVACY AND SECURITY
Volume
26
Title
Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure
Publication type
Journal article
Embargo date
2023-04-24