Proof-Producing Symbolic Execution for Binary Code Verification

18 April 2023

Papers citing "Proof-Producing Symbolic Execution for Binary Code Verification"

4 / 4 papers shown

Title
Symbolic Parallel Composition for Multi-language Protocol Verification Faezeh Nasrabadi Robert Künnemann Hamed Nemati 44 0 0 09 Apr 2025
Validation of Abstract Side-Channel Models for Computer Architectures Hamed Nemati Pablo Buiras Andreas Lindner Roberto Guanciale Swen Jacobs 44 23 0 11 May 2020
Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level Lesly-Ann Daniel Sébastien Bardin Tamara Rezk 30 66 0 18 Dec 2019
TrABin: Trustworthy Analyses of Binaries Andreas Lindner Roberto Guanciale Roberto Metere 32 17 0 16 Jan 2019