works on
automated synthesis 1black-box analysis 1CPU microarchitecture 1leakage contracts 1side-channel attacks 1

From the 1 of 5 linked papers with an AI index.

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

Trustworthy Verification of RISC-V Binaries Using Symbolic Execution in HolBA

Karl Palmskog, Andreas Lindner, Scott Constable +2

Many types of formal verification establish properties about abstract high-level program representations, leaving a large gap to programs at runtime. Although gaps can sometimes be…