AUTHCHECK: Program-State Analysis for Access-Control Vulnerabilities

von Piskachev, Goran
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)

Marktplatz für die integrierte und sichere Heimautomatisierung (MISCHA) : Abschlussbericht

von Becker, Matthias
Veröffentlicht 52019