Weiyun Lu, Bahman Sistany, Amy P. Felty, Philip J. Scott. Towards Formal Verification of Program Obfuscation. In IEEE European Symposium on Security and Privacy Workshops, EuroS&P Workshops 2020, Genoa, Italy, September 7-11, 2020. pages 635-644, IEEE, 2020. [doi]
Abstract is missing.