Sergiu Bursuc

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 17

Top Topics

Automated Verification

Open Environments

Security Enforcement

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
Formal Verification and Solutions for Estonian E-Voting. AsiaCCS (2024)
Sergiu Bursuc, Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua
Software-Based Memory Erasure with relaxed isolation requirements: Extended Version. CoRR (2024)
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
Election Verifiability in Receipt-Free Voting Protocols. CSF (2023)
Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov
Provably Unlinkable Smart Card-based Payments. CoRR (2023)
Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov
Provably Unlinkable Smart Card-based Payments. CCS (2023)
Sergiu Bursuc, Sjouke Mauw
Contingent payments from two-party signing and verification for abelian groups. CSF (2022)
Sergiu Bursuc, Sjouke Mauw
Contingent payments from two-party signing and verification for abelian groups. IACR Cryptol. ePrint Arch. 2022 (2022)
Sergiu Bursuc, Sjouke Mauw
Contingent payments from two-party signing and verification for abelian groups. CSF (2022)
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios. CSF (2021)
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
Provably Improving Election Verifiability in Belenios. E-VOTE-ID (2021)
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
Provably Improving Election Verifiability in Belenios. IACR Cryptol. ePrint Arch. 2021 (2021)
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios. IACR Cryptol. ePrint Arch. 2020 (2020)
Sergiu Bursuc, Steve Kremer
Contingent payments on a public ledger: models and reductions for automated verification. IACR Cryptol. ePrint Arch. 2019 (2019)
Sergiu Bursuc, Steve Kremer
Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification. ESORICS (1) (2019)
Sergiu Bursuc, Constantin Catalin Dragan, Steve Kremer
Private Votes on Untrusted Platforms: Models, Attacks and Provable Scheme. EuroS&P (2019)
Sergiu Bursuc, Christian Johansen, Shiwei Xu
Automated verification of dynamic root of trust protocols (long version). CoRR (2017)
Sergiu Bursuc, Christian Johansen, Shiwei Xu
Automated Verification of Dynamic Root of Trust Protocols. POST (2017)
Sergiu Bursuc
Secure Two-Party Computation in Applied Pi-Calculus: Models and Verification. TGC (2015)
Sergiu Bursuc
Secure two-party computation in applied pi-calculus: models and verification. IACR Cryptol. ePrint Arch. 2015 (2015)
Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
Deducibility constraints and blind signatures. Inf. Comput. 238 (2014)
Myrto Arapinis, Sergiu Bursuc, Mark Ryan
Privacy-supporting cloud computing by in-browser key translation. J. Comput. Secur. 21 (6) (2013)
Gurchetan S. Grewal, Mark Dermot Ryan, Sergiu Bursuc, Peter Y. A. Ryan
Caveat Coercitor: Coercion-Evidence in Electronic Voting. IEEE Symposium on Security and Privacy (2013)
Shiwei Xu, Sergiu Bursuc, Julian P. Murphy
New abstractions in applied pi-calculus and automated verification of protected executions. IACR Cryptol. ePrint Arch. 2013 (2013)
Sergiu Bursuc, Julian P. Murphy
Safe enclosures: towards cryptographic techniques for server protection. IACR Cryptol. ePrint Arch. 2013 (2013)
Myrto Arapinis, Sergiu Bursuc, Mark Ryan
Privacy Supporting Cloud Computing: ConfiChair, a Case Study. POST (2012)
Myrto Arapinis, Sergiu Bursuc, Mark Dermot Ryan
Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity. POST (2012)
Sergiu Bursuc, Gurchetan S. Grewal, Mark Dermot Ryan
Trivitas: Voters Directly Verifying Votes. VoteID (2011)
Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
Deducibility Constraints. ASIAN (2009)
Sergiu Bursuc, Hubert Comon-Lundh
Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions. RTA (2009)
Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
Associative-Commutative Deducibility Constraints. STACS (2007)
Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune
Deducibility Constraints, Equational Theory and Electronic Money. Rewriting, Computation and Proof (2007)