Pitfalls of Provably Secure Systems in Internet the Case of Chronos-NTP.

Philipp Jeitner, Haya Schulmann, Michael Waidner

Browse the full DSN paper archive.