TASE: Reducing Latency of Symbolic Execution with Transactional Memory
Publication
, Conference
Humphries, A; Cating-Subramanian, K; Reiter, MK
Published in: Proceedings 2021 Network and Distributed System Security Symposium
2021
Duke Scholars
Published In
Proceedings 2021 Network and Distributed System Security Symposium
DOI
Publication Date
2021
Publisher
Internet Society
Conference Name
Network and Distributed System Security Symposium
Citation
APA
Chicago
ICMJE
MLA
NLM
Humphries, A., Cating-Subramanian, K., & Reiter, M. K. (2021). TASE: Reducing Latency of Symbolic Execution with Transactional Memory. In Proceedings 2021 Network and Distributed System Security Symposium. Internet Society. https://doi.org/10.14722/ndss.2021.24327
Humphries, Adam, Kartik Cating-Subramanian, and Michael K. Reiter. “TASE: Reducing Latency of Symbolic Execution with Transactional Memory.” In Proceedings 2021 Network and Distributed System Security Symposium. Internet Society, 2021. https://doi.org/10.14722/ndss.2021.24327.
Humphries A, Cating-Subramanian K, Reiter MK. TASE: Reducing Latency of Symbolic Execution with Transactional Memory. In: Proceedings 2021 Network and Distributed System Security Symposium. Internet Society; 2021.
Humphries, Adam, et al. “TASE: Reducing Latency of Symbolic Execution with Transactional Memory.” Proceedings 2021 Network and Distributed System Security Symposium, Internet Society, 2021. Crossref, doi:10.14722/ndss.2021.24327.
Humphries A, Cating-Subramanian K, Reiter MK. TASE: Reducing Latency of Symbolic Execution with Transactional Memory. Proceedings 2021 Network and Distributed System Security Symposium. Internet Society; 2021.
Published In
Proceedings 2021 Network and Distributed System Security Symposium
DOI
Publication Date
2021
Publisher
Internet Society
Conference Name
Network and Distributed System Security Symposium