DALC-CT verifies constant-time behavior in binaries by detecting variations in instruction mix distributions from low-level execution traces across multiple inputs.
Linkers and loaders.ACM Computing Surveys (CSUR), 4(3):149–167
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
DALC-CT: Dynamic Analysis of Low-Level Code Traces for Constant-Time Verification
DALC-CT verifies constant-time behavior in binaries by detecting variations in instruction mix distributions from low-level execution traces across multiple inputs.