Adam Humphries, Kartik Cating-Subramanian, Michael K. Reiter. TASE: Reducing Latency of Symbolic Execution with Transactional Memory. In 28th Annual Network and Distributed System Security Symposium, NDSS 2021, virtually, February 21-25, 2021. The Internet Society, 2021. [doi]
@inproceedings{HumphriesCR21,
title = {TASE: Reducing Latency of Symbolic Execution with Transactional Memory},
author = {Adam Humphries and Kartik Cating-Subramanian and Michael K. Reiter},
year = {2021},
url = {https://www.ndss-symposium.org/ndss-paper/tase-reducing-latency-of-symbolic-execution-with-transactional-memory/},
researchr = {https://researchr.org/publication/HumphriesCR21},
cites = {0},
citedby = {0},
booktitle = {28th Annual Network and Distributed System Security Symposium, NDSS 2021, virtually, February 21-25, 2021},
publisher = {The Internet Society},
}