LATe: A Lightweight Authenticated Time Synchronization Protocol for IoT

Time synchronization is fundamental for a wide variety of IoT applications. Time is also fundamental to provide security services such as certificates or OAuth-token validation. Having a secure source of time is a fundamental problem, and the first step to provide other services for applications. There is no standardized lightweight and secure time synchronization solution suitable for IoT. We propose a Lightweight Authenticated Time (LATe) Synchronization Protocol. Our proposal is based on IETF open standards and is agnostic to underlying communication technologies. We also provide a computer-aided proof of the security claims using the Scyther tool.