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

Daniel, Lesly-AnnLesly-AnnDanielBardin, SebastienSebastienBardinRezk, TamaraTamaraRezk2024-04-022023-05-152023-07-032024-04-0220232471-2566WOS:000970870300001https://imec-publications.be/handle/20.500.12860/41589Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-ErasureJournal article10.1145/3563037WOS:000970870300001SIDE-CHANNEL COUNTERMEASURESFORMAL VERIFICATIONINFORMATION-FLOWEXECUTION