Learning Numeric Optimal Differentially Private Truncated Additive Mechanisms. - David M. Sommer 001; Lukas Abfalterer; Sheila Zingg; Esfandiar Mohammadi (CoRR, 2021)

VeriMon: A Formally Verified Monitoring Tool. - David A. Basin; Thibault Dardinier; Nico Hauser; Lukas Heimes; Jonathan Julián Huerta y Munive; Nicolas Kaletsch; Srdan Krstic; Emanuele Marsicano; Martin Raszyk; Joshua Schneider 001; Dawit Legesse Tirore; Dmitriy Traytel; et al. (ICTAC, 2022)

Verified First-Order Monitoring with Recursive Rules. - Sheila Zingg; Srdan Krstic; Martin Raszyk; Joshua Schneider 001; Dmitriy Traytel (TACAS (2), 2022)

PayOff: A Regulated Central Bank Digital Currency with Private Offline Payments. - Carolin Beer; Sheila Zingg; Kari Kostiainen; Karl Wüst; Vedran Capkun; Srdjan Capkun (CoRR, 2024)