TY - CONF AU - Piskachev, Goran AU - Petrasch, Tobias AU - Späth, Johannes AU - Bodden, Eric ID - 20528 T2 - 10th Workshop on Tools for Automatic Program Analysis (TAPAS) TI - AuthCheck: Program-state Analysis for Access-control Vulnerabilities ER -