TY  - RPRT
TI  - DALC-CT: Dynamic Analysis of Low-Level Code Traces for Constant-Time Verification
AU  - Nges Brian Njungle
AU  - Edwin P. Kayang
AU  - Mishel J. Paul
AU  - Michel A. Kinsy
PY  - 2026
UR  - https://arxiv.org/abs/2604.16832
ID  - 2604.16832
ER  -