%0 Conference Paper %1 conf/ndss/DanielBR21 %A Daniel, Lesly-Ann %A Bardin, Sébastien %A Rezk, Tamara %B NDSS %D 2021 %I The Internet Society %K dblp %T Hunting the Haunter - Efficient Relational Symbolic Execution for Spectre with Haunted RelSE. %U http://dblp.uni-trier.de/db/conf/ndss/ndss2021.html#DanielBR21

@inproceedings{conf/ndss/DanielBR21, added-at = {2021-06-17T00:00:00.000+0200}, author = {Daniel, Lesly-Ann and Bardin, Sébastien and Rezk, Tamara}, biburl = {https://www.bibsonomy.org/bibtex/2c657baf82e7d8a11120c5e8e5f378788/dblp}, booktitle = {NDSS}, crossref = {conf/ndss/2021}, ee = {https://www.ndss-symposium.org/ndss-paper/hunting-the-haunter-efficient-relational-symbolic-execution-for-spectre-with-haunted-relse/}, interhash = {1b18d3e073ee73251d02d1354fe65ba0}, intrahash = {c657baf82e7d8a11120c5e8e5f378788}, keywords = {dblp}, publisher = {The Internet Society}, timestamp = {2024-04-09T15:58:39.000+0200}, title = {Hunting the Haunter - Efficient Relational Symbolic Execution for Spectre with Haunted RelSE.}, url = {http://dblp.uni-trier.de/db/conf/ndss/ndss2021.html#DanielBR21}, year = 2021 }