Pitfalls of Provably Secure Systems in Internet - The Case of Chronos-NTP

AutorJeitner, Philipp; Shulman, Haya; Waidner, Michael
Datum2020
ArtConference Proceedings
KonferenzDSN 2020-International Conference on Dependable Systems and Networks
Urlhttps://tubiblio.ulb.tu-darmstadt.de/id/eprint/121457