Sheila Zingg

According to our database, Sheila Zingg authored at least 4 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

PayOff: A Regulated Central Bank Digital Currency with Private Offline Payments.

Carolin Beer, Sheila Zingg, Kari Kostiainen, Karl Wüst, Vedran Capkun, Srdjan Capkun

Proceedings of the ACM Asia Conference on Computer and Communications Security, 2026

2022

Verified First-Order Monitoring with Recursive Rules.

Sheila Zingg, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

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, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

Learning Numeric Optimal Differentially Private Truncated Additive Mechanisms.

David M. Sommer, Lukas Abfalterer, Sheila Zingg, Esfandiar Mohammadi

CoRR, 2021