Sergiu Bursuc
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2007–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AsiaCCS | Formal Verification and Solutions for Estonian E-Voting. | Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang |
| 2023 | CCS | Provably Unlinkable Smart Card-based Payments. | Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov |
| 2019 | ESORICS | Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification. | Sergiu Bursuc, Steve Kremer |
| 2013 | SP | Caveat Coercitor: Coercion-Evidence in Electronic Voting. | Gurchetan S. Grewal, Mark Dermot Ryan, Sergiu Bursuc, Peter Y. A. Ryan |
| 2007 | STACS | Associative-Commutative Deducibility Constraints. | Sergiu Bursuc, Hubert Comon-Lundh, Stphanie Delaune |