TASE: Reducing Latency of Symbolic Execution with Transactional Memory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Adam Humphries' in GoogleThis author has not been identified. Look up 'Kartik Cating-Subramanian' in GoogleThis author has not been identified. Look up 'Michael K. Reiter' in Google

runs on WebDSL