Petr Kuznetsov

• Stabilization, Safety, and Security of Distributed Systems