Philipp Jeitner, Haya Shulman, Michael Waidner. Pitfalls of Provably Secure Systems in Internet the Case of Chronos-NTP. In 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, DSN 2020, Valencia, Spain, June 29 - July 2, 2020 - Supplemental Volume. pages 49-50, IEEE, 2020. [doi]
Abstract is missing.