AuthCheck: Program-state Analysis for Access-control Vulnerabilities (bibtex)
@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,
}
Powered by bibtexbrowser