Text this: Stabilization, safety, and security of distributed systems