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

2 September 2022

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

5 / 5 papers shown

Title
SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns Adwait Godbole Yatin A. Manerkar Sanjit A. Seshia 82 1 0 08 Jun 2024
Towards Efficient Verification of Constant-Time Cryptographic Implementations Luwei Cai Fu Song Taolue Chen 75 3 0 21 Feb 2024
A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries Antoine Geimer Mathéo Vergnolle Frédéric Recoules Lesly-Ann Daniel Sébastien Bardin Clémentine Maurice 86 20 0 12 Oct 2023
MAMBO-V: Dynamic Side-Channel Leakage Analysis on RISC-V Jan Wichelmann Christopher Peredy Florian Sieck Anna Pätschke T. Eisenbarth 62 6 0 30 Apr 2023
Cipherfix: Mitigating Ciphertext Side-Channel Attacks in Software Jan Wichelmann Anna Pätschke Luca Wilke T. Eisenbarth 74 14 0 24 Oct 2022