Quantifying Liveness and Safety of Avalanche's Snowball. - Quentin Kniep; Maxime Laval; Jakub Sliwinski; Roger Wattenhofer (ESORICS Workshops (1), 2024)