AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.

Goran Piskachev, Tobias Petrasch, Johannes Spth, Eric Bodden

Browse the full FM paper archive.