Matthias Brun

Formalization of Timely Dataflow's Progress Tracking Protocol

by Matthias Brun, Sára Decova, Andrea Lattuada 🌐 and Dmitriy Traytel 🌐

Formalization of Generic Authenticated Data Structures

by Matthias Brun and Dmitriy Traytel 🌐