TASE: Reducing Latency of Symbolic Execution with Transactional Memory. - Adam Humphries; Kartik Cating-Subramanian; Michael K. Reiter (NDSS, 2021)