AuthCheck: Program-state Analysis for Access-control Vulnerabilities

Published in Workshop on Tools for Automatic Program Analysis (TAPAS), Porto, Portugal, October 2019

Recommended citation: Goran Piskachev, Tobias Petrasch, Johannes Späth, and Eric Bodden. "AuthCheck: Program-state Analysis for Access-control Vulnerabilities." Workshop on Tools for Automatic Program Analysis (TAPAS), Porto, Portugal, October 2019.