Sergiu Bursuc

According to our database, Sergiu Bursuc authored at least 25 papers between 2007 and 2024.

Collaborative distances:

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

2024

Software-Based Memory Erasure with relaxed isolation requirements: Extended Version.

Sergiu Bursuc, Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua

CoRR, 2024

Software-Based Memory Erasure with Relaxed Isolation Requirements.

Sergiu Bursuc, Reynaldo Gil Pons, Sjouke Mauw, Rolando Trujillo-Rasua

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

Formal Verification and Solutions for Estonian E-Voting.

Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang

Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, 2024

2023

Election Verifiability in Receipt-Free Voting Protocols.

Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

Provably Unlinkable Smart Card-based Payments.

Sergiu Bursuc, Ross Horne, Sjouke Mauw, Semen Yurkov

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Contingent payments from two-party signing and verification for abelian groups.

Sergiu Bursuc, Sjouke Mauw

IACR Cryptol. ePrint Arch., 2022

2021

Provably Improving Election Verifiability in Belenios.

Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang

IACR Cryptol. ePrint Arch., 2021

2020

Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios.

Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang

IACR Cryptol. ePrint Arch., 2020

2019

Contingent payments on a public ledger: models and reductions for automated verification.

Sergiu Bursuc, Steve Kremer

IACR Cryptol. ePrint Arch., 2019

Private Votes on Untrusted Platforms: Models, Attacks and Provable Scheme.

Sergiu Bursuc, Constantin Catalin Dragan, Steve Kremer

Proceedings of the IEEE European Symposium on Security and Privacy, 2019

2017

Automated verification of dynamic root of trust protocols (long version).

Sergiu Bursuc, Christian Johansen, Shiwei Xu

CoRR, 2017

Automated Verification of Dynamic Root of Trust Protocols.

Sergiu Bursuc, Christian Johansen, Shiwei Xu

Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

2015

Secure two-party computation in applied pi-calculus: models and verification.

Sergiu Bursuc

IACR Cryptol. ePrint Arch., 2015

2014

Deducibility constraints and blind signatures.

Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune

Inf. Comput., 2014

2013

Privacy-supporting cloud computing by in-browser key translation.

Myrto Arapinis, Sergiu Bursuc, Mark Ryan

J. Comput. Secur., 2013

New abstractions in applied pi-calculus and automated verification of protected executions.

Shiwei Xu, Sergiu Bursuc, Julian P. Murphy

IACR Cryptol. ePrint Arch., 2013

Safe enclosures: towards cryptographic techniques for server protection.

Sergiu Bursuc, Julian P. Murphy

IACR Cryptol. ePrint Arch., 2013

Caveat Coercitor: Coercion-Evidence in Electronic Voting.

Gurchetan S. Grewal, Mark Dermot Ryan, Sergiu Bursuc, Peter Y. A. Ryan

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

2012

Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity.

Myrto Arapinis, Sergiu Bursuc, Mark Dermot Ryan

Proceedings of the Principles of Security and Trust - First International Conference, 2012

Privacy Supporting Cloud Computing: ConfiChair, a Case Study.

Myrto Arapinis, Sergiu Bursuc, Mark Ryan

Proceedings of the Principles of Security and Trust - First International Conference, 2012

2011

Trivitas: Voters Directly Verifying Votes.

Sergiu Bursuc, Gurchetan S. Grewal, Mark Dermot Ryan

Proceedings of the E-Voting and Identity - Third International Conference, 2011

2009

Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions.

Sergiu Bursuc, Hubert Comon-Lundh

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

Deducibility Constraints.

Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune

Proceedings of the Advances in Computer Science, 2009

2007

Associative-Commutative Deducibility Constraints.

Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune

Proceedings of the STACS 2007, 2007

Deducibility Constraints, Equational Theory and Electronic Money.

Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune

Proceedings of the Rewriting, 2007