Automatic detection and demonstrator generation for information flow leaks in object-oriented programs

Quoc Huy Do 0002, Richard Bubel, Reiner Hähnle. Automatic detection and demonstrator generation for information flow leaks in object-oriented programs. Computers & Security, 67:335-349, 2017. [doi]

Abstract

Abstract is missing.