F-clocksync — Dynamic ad hoc clock synchronization

F-clocksync (Dynamic ad hoc clock synchronization) is part of Idealized Setup and Resources in the UC functionality encyclopedia. Status: a canonical, well-established UC functionality.

References:

• Badertscher et al. Dynamic ad hoc clock synchronization. In Advances in Cryptology – EUROCRYPT 2021, volume 12698 of LNCS, pages 399–428, 2021.