AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. - Goran Piskachev; Tobias Petrasch; Johannes Späth; Eric Bodden (FM Workshops (2), 2019)