Get started
Author

Sergiu Bursuc

Caveat Coercitor: Coercion-Evidence in Electronic Voting
2013 · G. S. Grewal, M. D. Ryan, et al. · IEEE Symposium on Security and Privacy (S&P) · 57
PDF
Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity
2012 · Myrto Arapinis, Sergiu Bursuc, et al. · Lecture notes in computer science · 50
Privacy Supporting Cloud Computing: ConfiChair, a Case Study
2012 · Myrto Arapinis, Sergiu Bursuc, et al. · Lecture notes in computer science · 34
PDF
Privacy-supporting cloud computing by in-browser key translation
2013 · Myrto Arapinis, Sergiu Bursuc, et al. · Journal of Computer Security · 24
Trivitas: Voters Directly Verifying Votes
2012 · Sergiu Bursuc, Gurchetan S. Grewal, et al. · Lecture notes in computer science · 19
Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios
2021 · Sevdenur Baloglu, Sergiu Bursuc, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 17
PDF
Contingent payments from two-party signing and verification for abelian groups
2022 · Sergiu Bursuc, Sjouke Mauw · IEEE Computer Security Foundations Workshop (CSFW) · 12
PDF
Associative-Commutative Deducibility Constraints
2007 · Sergiu Bursuc, Hubert Comon-Lundh, et al. · Lecture notes in computer science · 12
Private Votes on Untrusted Platforms: Models, Attacks and Provable Scheme
2019 · Sergiu Bursuc, Constantin-Catalin Dragan, et al. · IEEE European Symposium on Security and Privacy · 9
PDF
Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification
2019 · Sergiu Bursuc, Steve Kremer · Lecture notes in computer science · 9
Provably Improving Election Verifiability in Belenios
2021 · Sevdenur Baloglu, Sergiu Bursuc, et al. · Lecture notes in computer science · 8
PDF
Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions
2009 · Sergiu Bursuc, Hubert Comon-Lundh · Lecture notes in computer science · 8
Provably Unlinkable Smart Card-based Payments
2023 · Sergiu Bursuc, Ross Horne, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 6
PDF
Election Verifiability in Receipt-Free Voting Protocols
2023 · Sevdenur Baloglu, Sergiu Bursuc, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 6
PDF
Deducibility Constraints, Equational Theory and Electronic Money
2007 · Sergiu Bursuc, Hubert Comon-Lundh, et al. · Lecture notes in computer science · 6
Deducibility constraints and blind signatures
2014 · Sergiu Bursuc, Hubert Comon-Lundh, et al. · Information and Computation · 5
PDF
Formal Verification and Solutions for Estonian E-Voting
2024 · Sevdenur Baloglu, Sergiu Bursuc, et al. · ACM Asia Conference on Computer and Communications Security (ASIA CCS) · 4
Automated Verification of Dynamic Root of Trust Protocols
2017 · Sergiu Bursuc, Christian Johansen, et al. · Lecture notes in computer science · 4
PDF
Deducibility Constraints
2009 · Sergiu Bursuc, Hubert Comon-Lundh, et al. · Lecture notes in computer science · 4
Software-Based Memory Erasure with relaxed isolation requirements: Extended Version
2024 · Bursuc, Sergiu, Gil-Pons, Reynaldo, et al. · arXiv (Cornell University) · 2
PDF
New abstractions in applied pi-calculus and automated verification of protected executions.
2013 · Shiwei Xu, Sergiu Bursuc, et al. · 1
Contraintes de déductibilité dans une algèbre quotient : réduction de modèles et applications à la sécurité
2009 · Sergiu Bursuc · OpenGrey (Institut de l'Information Scientifique et Technique) · 1
Software-Based Memory Erasure with Relaxed Isolation Requirements
2024 · Sergiu Bursuc, Reynaldo Gil-Pons, et al. · IEEE Computer Security Foundations Workshop (CSFW)
PDF
Secure Two-Party Computation in Applied Pi-Calculus: Models and Verification
2016 · Sergiu Bursuc · Lecture notes in computer science
PDF
Secure two-party computation in applied pi-calculus: models and verification.
2015 · Sergiu Bursuc
Works count: 36
Citation count: 336
H-index: 9
I10-index: 9
Year
Topic
Type