works on
anderson impurity 1constant-time programming 1CT transparency 1decompilation 1floquet systems 1functional renormalization group 1kondo effect 1nonequilibrium transport 1side-channel attacks 1speculative execution 1static analysis 1

From the 2 of 41 papers with an AI index.

most citedGWTC-4.0: Updating the Gravitational-Wave Transient Catalog with Observations from the First Part of the Fourth LIGO-Virgo-KAGRA Observing Run

38 citations

collaborating institutions
Showing cs.PLShow all

1 paper · 1 filter

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…