Sergiu Bursuc

33 papers A* 2A 7Journal 14Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
A benchmark for vericoding: formally verified program synthesis.
CoRR
Sergiu Bursuc, Theodore Ehrenborg, Shaowei Lin, Lacramioara Astefanoaei, Ionel Emilian Chiosa, Jure Kukovec, Alok Singh, Oliver Butterley, Adem Bizid, Quinn Dougherty, Miranda Zhao, Max Tan, Max Tegmark
2025 J jnl
Towards formal verification and corrupted setup security for the SwissPost voting system.
IACR Cryptol. ePrint Arch.
Sevdenur Baloglu, Sergiu Bursuc, Reynaldo Gil Pons, Sjouke Mauw
2024 A conf
Formal Verification and Solutions for Estonian E-Voting.
AsiaCCS
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
2024 A conf
Software-Based Memory Erasure with Relaxed Isolation Requirements.
CSF
Sergiu Bursuc, Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua
2024 J jnl
Software-Based Memory Erasure with relaxed isolation requirements: Extended Version.
CoRR
Sergiu Bursuc, Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua
2023 A conf
Election Verifiability in Receipt-Free Voting Protocols.
CSF
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
2023 A* conf
Provably Unlinkable Smart Card-based Payments.
CCS
Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov
2023 J jnl
Provably Unlinkable Smart Card-based Payments.
CoRR
Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov
2022 A conf
Contingent payments from two-party signing and verification for abelian groups.
CSF
Sergiu Bursuc, Sjouke Mauw
2022 J jnl
Contingent payments from two-party signing and verification for abelian groups.
IACR Cryptol. ePrint Arch.
Sergiu Bursuc, Sjouke Mauw
2021 A conf
Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios.
CSF
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
2021 — conf
Provably Improving Election Verifiability in Belenios.
E-VOTE-ID
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
2021 J jnl
Provably Improving Election Verifiability in Belenios.
IACR Cryptol. ePrint Arch.
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
2020 J jnl
Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios.
IACR Cryptol. ePrint Arch.
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
2019 — conf
Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification.
ESORICS (1)
Sergiu Bursuc, Steve Kremer
2019 J jnl
Contingent payments on a public ledger: models and reductions for automated verification.
IACR Cryptol. ePrint Arch.
Sergiu Bursuc, Steve Kremer
2019 A conf
Private Votes on Untrusted Platforms: Models, Attacks and Provable Scheme.
EuroS&P
Sergiu Bursuc, Constantin Catalin Dragan, Steve Kremer
2017 — conf
Automated Verification of Dynamic Root of Trust Protocols.
POST
Sergiu Bursuc, Christian Johansen, Shiwei Xu
2017 J jnl
Automated verification of dynamic root of trust protocols (long version).
CoRR
Sergiu Bursuc, Christian Johansen, Shiwei Xu
2015 — conf
Secure Two-Party Computation in Applied Pi-Calculus: Models and Verification.
TGC
Sergiu Bursuc
2015 J jnl
Secure two-party computation in applied pi-calculus: models and verification.
IACR Cryptol. ePrint Arch.
Sergiu Bursuc
2014 J jnl
Deducibility constraints and blind signatures.
Inf. Comput.
Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
2013 A* conf
Caveat Coercitor: Coercion-Evidence in Electronic Voting.
IEEE Symposium on Security and Privacy
Gurchetan S. Grewal, Mark Dermot Ryan, Sergiu Bursuc, Peter Y. A. Ryan
2013 J jnl
New abstractions in applied pi-calculus and automated verification of protected executions.
IACR Cryptol. ePrint Arch.
Shiwei Xu, Sergiu Bursuc, Julian P. Murphy
2013 J jnl
Privacy-supporting cloud computing by in-browser key translation.
J. Comput. Secur.
Myrto Arapinis, Sergiu Bursuc, Mark Ryan
2013 J jnl
Safe enclosures: towards cryptographic techniques for server protection.
IACR Cryptol. ePrint Arch.
Sergiu Bursuc, Julian P. Murphy
2012 — conf
Privacy Supporting Cloud Computing: ConfiChair, a Case Study.
POST
Myrto Arapinis, Sergiu Bursuc, Mark Ryan
2012 — conf
Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity.
POST
Myrto Arapinis, Sergiu Bursuc, Mark Dermot Ryan
2011 — conf
Trivitas: Voters Directly Verifying Votes.
VoteID
Sergiu Bursuc, Gurchetan S. Grewal, Mark Dermot Ryan
2009 — conf
Deducibility Constraints.
ASIAN
Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
2009 — conf
Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions.
RTA
Sergiu Bursuc, Hubert Comon-Lundh
2007 A conf
Associative-Commutative Deducibility Constraints.
STACS
Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
2007 — conf
Deducibility Constraints, Equational Theory and Electronic Money.
Rewriting, Computation and Proof
Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune