TY  - RPRT
TI  - Pitfalls of Provably Secure Systems in Internet The Case of Chronos-NTP
AU  - Philipp Jeitner
AU  - Haya Shulman
AU  - Michael Waidner
PY  - 2020
DO  - 10.1109/dsn-s50200.2020.00027
UR  - https://arxiv.org/abs/2010.08460
ID  - 2010.08460
ER  -