TY  - RPRT
TI  - Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level
AU  - Lesly-Ann Daniel
AU  - Sébastien Bardin
AU  - Tamara Rezk
PY  - 2020
UR  - https://arxiv.org/abs/1912.08788
ID  - 1912.08788
ER  -