Login / Signup
Pitfalls of Provably Secure Systems in Internet the Case of Chronos-NTP.
Philipp Jeitner
Haya Shulman
Michael Waidner
Published in:
DSN (Supplements) (2020)
Keyphrases
</>
provably secure
information systems
software engineering
cost effective
resource sharing