Yu-Jye Tung, Ian G. Harris. Zero Footprint Opaque Predicates: Synthesizing Opaque Predicates from Naturally Occurring Invariants. In Leyla Bilge, Lorenzo Cavallaro, Giancarlo Pellegrino, Nuno Neves 0001, editors, Detection of Intrusions and Malware, and Vulnerability Assessment - 18th International Conference, DIMVA 2021, Virtual Event, July 14-16, 2021, Proceedings. Volume 12756 of Lecture Notes in Computer Science, pages 299-318, Springer, 2021. [doi]
Abstract is missing.