Binsec/Rel: Efficient relational symbolic execution for constant-time at binary-level
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk[doi] [Google Scholar] [DBLP] [Citeseer]
2020 IEEE Symposium on Security and Privacy (SP)
Volume
Pages 1021-1038
May 2020
Note(s): information flow, symbolic execution, self composition, binary analysis
Volume
Pages 1021-1038
May 2020
Note(s): information flow, symbolic execution, self composition, binary analysis