Best Paper Award at the 21st International Conference on Software Engineering and Formal Methods

Nicoletti, Stefano M. (Recipient), Lopuhaä - Zwakenberg, Milan Abel (Recipient), Hahn, Ernst Moritz (Recipient) & Stoelinga, Mariëlle I.A. (Recipient)

Formal Methods and Tools
Digital Society Institute

Prize

Description

Best Paper Award at the 21st International Conference on Software Engineering and Formal Methods for the paper "ATM: a Logic for Quantitative Security Properties on Attack Trees".

Awarded date	10 Nov 2023
Degree of recognition	International

Fingerprint

Documents & Links

SEFM_Best_Paper_Award
File: image/jpeg, 103 KB
Type: Audiovisual

Best Paper Award at the 21st International Conference on Software Engineering and Formal Methods

Description

Fingerprint

Documents & Links

Related content

Research output

If a Tree Falls in the Forest: Risk Logics for Safety-Security Analysis