Publications
Pitfalls of Provably Secure Systems in Internet - The Case of Chronos-NTP
| Author | Jeitner, Philipp; Shulman, Haya; Waidner, Michael |
|---|---|
| Date | 2020 |
| Type | Conference Proceedings |
| Conference | DSN 2020-International Conference on Dependable Systems and Networks |
| Url | https://tubiblio.ulb.tu-darmstadt.de/id/eprint/121457 |
