{"user_id":"5786","citation":{"apa":"Piskachev, G., Petrasch, T., Späth, J., &#38; Bodden, E. (2019). AuthCheck: Program-state Analysis for Access-control Vulnerabilities. <i>10th Workshop on Tools for Automatic Program Analysis (TAPAS)</i>.","bibtex":"@inproceedings{Piskachev_Petrasch_Späth_Bodden_2019, title={AuthCheck: Program-state Analysis for Access-control Vulnerabilities}, booktitle={10th Workshop on Tools for Automatic Program Analysis (TAPAS)}, author={Piskachev, Goran and Petrasch, Tobias and Späth, Johannes and Bodden, Eric}, year={2019} }","ieee":"G. Piskachev, T. Petrasch, J. Späth, and E. Bodden, “AuthCheck: Program-state Analysis for Access-control Vulnerabilities,” 2019.","ama":"Piskachev G, Petrasch T, Späth J, Bodden E. AuthCheck: Program-state Analysis for Access-control Vulnerabilities. In: <i>10th Workshop on Tools for Automatic Program Analysis (TAPAS)</i>. ; 2019.","chicago":"Piskachev, Goran, Tobias Petrasch, Johannes Späth, and Eric Bodden. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.” In <i>10th Workshop on Tools for Automatic Program Analysis (TAPAS)</i>, 2019.","mla":"Piskachev, Goran, et al. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.” <i>10th Workshop on Tools for Automatic Program Analysis (TAPAS)</i>, 2019.","short":"G. Piskachev, T. Petrasch, J. Späth, E. Bodden, in: 10th Workshop on Tools for Automatic Program Analysis (TAPAS), 2019."},"department":[{"_id":"76"},{"_id":"241"}],"main_file_link":[{"url":"http://www.bodden.de/pubs/piskachev19authcheck.pdf"}],"year":"2019","_id":"20528","language":[{"iso":"eng"}],"author":[{"first_name":"Goran","last_name":"Piskachev","full_name":"Piskachev, Goran"},{"full_name":"Petrasch, Tobias","last_name":"Petrasch","first_name":"Tobias"},{"full_name":"Späth, Johannes","last_name":"Späth","first_name":"Johannes"},{"orcid":"0000-0003-3470-3647","id":"59256","first_name":"Eric","last_name":"Bodden","full_name":"Bodden, Eric"}],"status":"public","date_updated":"2022-01-06T06:54:29Z","date_created":"2020-11-27T10:21:19Z","title":"AuthCheck: Program-state Analysis for Access-control Vulnerabilities","publication":"10th Workshop on Tools for Automatic Program Analysis (TAPAS)","type":"conference"}