Blazytko, Tim
[VerfasserIn]
;
Holz, Thorsten
[Sonstige Person, Familie und Körperschaft];
Rieck, Konrad
[Sonstige Person, Familie und Körperschaft]Fakultät für Elektrotechnik und Informationstechnik
Reasoning about software security via synthesized behavioral substitutes