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]
Abstract is missing.