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"

6 / 6 papers shown

Title
SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns Adwait Godbole Yatin A. Manerkar S. Seshia 37 1 0 08 Jun 2024
Towards Efficient Verification of Constant-Time Cryptographic Implementations Luwei Cai Fu Song Taolue Chen 30 2 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 34 18 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 16 5 0 30 Apr 2023
Cipherfix: Mitigating Ciphertext Side-Channel Attacks in Software Jan Wichelmann Anna Pätschke Luca Wilke T. Eisenbarth 24 13 0 24 Oct 2022
Constantine: Automatic Side-Channel Resistance Using Efficient Control and Data Flow Linearization Pietro Borrello Daniele Cono DÉlia Leonardo Querzoni Cristiano Giuffrida 34 54 0 21 Apr 2021