Email Record: Stabilization, Safety, and Security of Distributed Systems :