Publications

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

AuthorJeitner, Philipp; Shulman, Haya; Waidner, Michael
Date2020
TypeConference Proceedings
ConferenceDSN 2020-International Conference on Dependable Systems and Networks
Urlhttps://tubiblio.ulb.tu-darmstadt.de/id/eprint/121457