Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs.

Qingyang Zhou, Qiushi Wu, Dinghao Liu, Shouling Ji, Kangjie Lu

Browse the full CCS paper archive.