Kartik Cating-Subramanian

Google Scholar
1 publications in security and cryptology related venues
Year
Venue
Title
2021
conf/ndss
TASE: Reducing Latency of Symbolic Execution with Transactional Memory.
Adam Humphries Kartik Cating-Subramanian Michael K. Reiter
Filters
Years:  to