Publikationen

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

Autor	Jeitner, Philipp; Shulman, Haya; Waidner, Michael
Datum	2020
Art	Conference Proceedings
Konferenz	DSN 2020-International Conference on Dependable Systems and Networks
Url	https://tubiblio.ulb.tu-darmstadt.de/id/eprint/121457

Informieren Sie sich über die Aus- und Weiterbildungsangebote der in ATHENE mitwirkenden Institutionen

Melden Sie sich zu unserem Newsletter an.

ATHENE

Digital Hub

StartUpSecure

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

Online im Internet; URL: https://www.athene-center.de/forschung/publikationen

Datum: 22.11.2024