Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at
Binary-Level

v1v2 (latest)

Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level

18 December 2019

Lesly-Ann Daniel

Sébastien Bardin

ArXiv (abs)PDF HTML

Papers citing "Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level"

6 / 6 papers shown

Title
BLACKOUT: Data-Oblivious Computation with Blinded Capabilities Hossam ElAtali Merve Gülmez Thomas Nyman N. Asokan 52 0 0 20 Apr 2025
MicroWalk: A Framework for Finding Side Channels in Binaries Jan Wichelmann A. Moghimi T. Eisenbarth B. Sunar 46 76 0 16 Aug 2018
Symbolic Verification of Cache Side-channel Freedom Sudipta Chattopadhyay Abhik Roychoudhury 29 25 0 12 Jul 2018
Eliminating Timing Side-Channel Leaks using Program Repair Meng Wu Shengjian Guo Patrick Schaumont Chao Wang 49 109 0 06 Jun 2018
A software approach to defeating side channels in last-level caches Ziqiao Zhou Michael K. Reiter Yinqian Zhang 44 148 0 17 Mar 2016
Rigorous Analysis of Software Countermeasures against Cache Attacks Goran Doychev Boris Köpf 30 75 0 07 Mar 2016