@inproceedings{piskachev19authcheck,
author = {Goran Piskachev and Tobias Petrasch and Johannes Späth and Eric Bodden},
title = {{AuthCheck}: {P}rogram-state Analysis for Access-control Vulnerabilities},
booktitle = {10th Workshop on Tools for Automatic Program Analysis (TAPAS)},
month = oct,
year = 2019,
url = {https://www.bodden.de/pubs/piskachev19authcheck.pdf},
}