Sheila Zingg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2022–2026
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AsiaCCS | PayOff: A Regulated Central Bank Digital Currency with Private Offline Payments. | Carolin Beer, Sheila Zingg, Kari Kostiainen, Karl Wst, Vedran Capkun, Srdjan Capkun |
| 2022 | ICTAC | VeriMon: A Formally Verified Monitoring Tool. | David A. Basin, Thibault Dardinier, Nico Hauser, Lukas Heimes, Jonathan Julin Huerta y Munive, Nicolas Kaletsch, Srdan Krstic, Emanuele Marsicano, Martin Raszyk, Joshua Schneider, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg |
| 2022 | TACAS | Verified First-Order Monitoring with Recursive Rules. | Sheila Zingg, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel |