Login / Signup

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

Philipp JeitnerHaya ShulmanMichael Waidner
Published in: DSN (Supplements) (2020)
Keyphrases
  • provably secure
  • information systems
  • software engineering
  • cost effective
  • resource sharing