Sheila Zingg

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 3

Top Topics

Differentially Private

Top Venues

Publications

Sheila Zingg, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel
Verified First-Order Monitoring with Recursive Rules. TACAS (2) (2022)
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, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg
VeriMon: A Formally Verified Monitoring Tool. ICTAC (2022)
David M. Sommer, Lukas Abfalterer, Sheila Zingg, Esfandiar Mohammadi
Learning Numeric Optimal Differentially Private Truncated Additive Mechanisms. CoRR (2021)