A secure, hardened, and improved implementation of NTP
