works on
constant-time programming 1CT transparency 1decompilation 1side-channel attacks 1speculative execution 1static analysis 1

From the 1 of 1 linked paper with an AI index.

most citedDecompiling for Constant-Time Analysis

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2026★ 1 cited

Decompiling for Constant-Time Analysis

Santiago Arranz-Olmos, Gilles Barthe, Lionel Blatter +3

The paper investigates the reliability of the Decompile‑then‑Analyze (DtA) approach for verifying constant‑time (CT) security of compiled code, showing that existing decompilers ca…