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 |


