Mansour Ahmadi, Reza Mirzazade Farkhani, Ryan Williams, Long Lu. Finding Bugs Using Your Own Code: Detecting Functionally-similar yet Inconsistent Code. In Michael Bailey, Rachel Greenstadt, editors, 30th USENIX Security Symposium, USENIX Security 2021, August 11-13, 2021. pages 2025-2040, USENIX Association, 2021. [doi]
Abstract is missing.