"Automated Discovery of Cross-Plane Event-Based Vulnerabilities in ..."

Benjamin E. Ujcich et al. (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics