Startseite > Publikationen > Publikationen

Publikationen

Piskachev, Goran;Petrasch, Tobias;Späth, Johannes;Bodden, Eric:

AuthCheck: Program-state Analysis for Access-control Vulnerabilities.

In: 10th Workshop on Tools for Automatic Program Analysis (TAPAS), Okt. 2019

Bibtex

@inproceedings{key=piskachev19authcheck,
author = {Piskachev, Goran and Petrasch, Tobias and Sp{\"a}th, Johannes and Bodden, Eric},
title = {AuthCheck: Program-state Analysis for Access-control Vulnerabilities},
booktitle = {10th Workshop on Tools for Automatic Program Analysis (TAPAS)},
month = oct,
year = {2019},
}

BibTeX in die Zwischenablage kopieren

Permalink

https://www.hni.uni-paderborn.de/pub/9943