Gollector: Measuring Domain Name Dark Matter from Different Vantage Points

von Hageman, Kaspar
Veröffentlicht in NordSec (26. : 2021 : Online) Secure IT systems (2021)

Adaptive Security Policies

von Nielson, Flemming
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 2: Engineering principles (2020)

Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals

von Arora, Shiraj
Veröffentlicht in SPIN (28. : 2022 : Online) Model checking software (2022)

Preliminary Security Analysis, Formalisation, and Verification of Open Titan Secure Boot Code

von Möller, Bjarke Hilmer
Veröffentlicht in NordSec (26. : 2021 : Online) Secure IT systems (2021)