%0 Conference Paper %1 conf/sp/DanielBR20 %A Daniel, Lesly-Ann %A Bardin, Sébastien %A Rezk, Tamara %B SP %D 2020 %I IEEE %K dblp %P 1021-1038 %T Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level. %U http://dblp.uni-trier.de/db/conf/sp/sp2020.html#DanielBR20

@inproceedings{conf/sp/DanielBR20, added-at = {2023-09-21T00:00:00.000+0200}, author = {Daniel, Lesly-Ann and Bardin, Sébastien and Rezk, Tamara}, biburl = {https://www.bibsonomy.org/bibtex/2d043fd06183c867e5a1ddd2bb6252453/dblp}, booktitle = {SP}, crossref = {conf/sp/2020}, ee = {https://doi.org/10.1109/SP40000.2020.00074}, interhash = {87d5bb3e356e5903cb995950ef7b2387}, intrahash = {d043fd06183c867e5a1ddd2bb6252453}, keywords = {dblp}, pages = {1021-1038}, publisher = {IEEE}, timestamp = {2024-04-10T00:01:30.000+0200}, title = {Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp2020.html#DanielBR20}, year = 2020 }