Qingyang Zhou, Qiushi Wu, Dinghao Liu, Shouling Ji, Kangjie Lu. Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs. In Heng Yin, Angelos Stavrou, Cas Cremers, Elaine Shi, editors, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022. pages 3253-3267, ACM, 2022. [doi]
Abstract is missing.