Deducibility Constraints, Equational Theory and Electronic Money. - Sergiu Bursuc; Hubert Comon-Lundh; Stéphanie Delaune (Rewriting, Computation and Proof, 2007)

Associative-Commutative Deducibility Constraints. - Sergiu Bursuc; Hubert Comon-Lundh; Stéphanie Delaune (STACS, 2007)

Deducibility Constraints. - Sergiu Bursuc; Hubert Comon-Lundh; Stéphanie Delaune (ASIAN, 2009)

Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions. - Sergiu Bursuc; Hubert Comon-Lundh (RTA, 2009)

Trivitas: Voters Directly Verifying Votes. - Sergiu Bursuc; Gurchetan S. Grewal; Mark Dermot Ryan (VoteID, 2011)

Privacy Supporting Cloud Computing: ConfiChair, a Case Study. - Myrto Arapinis; Sergiu Bursuc; Mark Ryan 001 (POST, 2012)

Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity. - Myrto Arapinis; Sergiu Bursuc; Mark Dermot Ryan (POST, 2012)

Caveat Coercitor: Coercion-Evidence in Electronic Voting. - Gurchetan S. Grewal; Mark Dermot Ryan; Sergiu Bursuc; Peter Y. A. Ryan (IEEE Symposium on Security and Privacy, 2013)

Safe enclosures: towards cryptographic techniques for server protection. - Sergiu Bursuc; Julian P. Murphy (IACR Cryptol. ePrint Arch., 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)

Privacy-supporting cloud computing by in-browser key translation. - Myrto Arapinis; Sergiu Bursuc; Mark Ryan 001 (J. Comput. Secur., 2013)

Deducibility constraints and blind signatures. - Sergiu Bursuc; Hubert Comon-Lundh; Stéphanie Delaune (Inf. Comput., 2014)

Secure two-party computation in applied pi-calculus: models and verification. - Sergiu Bursuc (IACR Cryptol. ePrint Arch., 2015)

Automated Verification of Dynamic Root of Trust Protocols. - Sergiu Bursuc; Christian Johansen; Shiwei Xu (POST, 2017)

Automated verification of dynamic root of trust protocols (long version). - Sergiu Bursuc; Christian Johansen; Shiwei Xu (CoRR, 2017)

Private Votes on Untrusted Platforms: Models, Attacks and Provable Scheme. - Sergiu Bursuc; Constantin Catalin Dragan; Steve Kremer (EuroS&P, 2019)

Contingent payments on a public ledger: models and reductions for automated verification. - Sergiu Bursuc; Steve Kremer (IACR Cryptol. ePrint Arch., 2019)

Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios. - Sevdenur Baloglu; Sergiu Bursuc; Sjouke Mauw; Jun Pang 001 (IACR Cryptol. ePrint Arch., 2020)

Provably Improving Election Verifiability in Belenios. - Sevdenur Baloglu; Sergiu Bursuc; Sjouke Mauw; Jun Pang 001 (IACR Cryptol. ePrint Arch., 2021)

Contingent payments from two-party signing and verification for abelian groups. - Sergiu Bursuc; Sjouke Mauw (IACR Cryptol. ePrint Arch., 2022)

Provably Unlinkable Smart Card-based Payments. - Sergiu Bursuc; Ross Horne; Sjouke Mauw; Semen Yurkov (CCS, 2023)

Election Verifiability in Receipt-Free Voting Protocols. - Sevdenur Baloglu; Sergiu Bursuc; Sjouke Mauw; Jun Pang 001 (CSF, 2023)

Formal Verification and Solutions for Estonian E-Voting. - Sevdenur Baloglu; Sergiu Bursuc; Sjouke Mauw; Jun Pang 001 (AsiaCCS, 2024)

Software-Based Memory Erasure with Relaxed Isolation Requirements. - Sergiu Bursuc; Reynaldo Gil Pons; Sjouke Mauw; Rolando Trujillo-Rasua (CSF, 2024)

Software-Based Memory Erasure with relaxed isolation requirements: Extended Version. - Sergiu Bursuc; Reynaldo Gil Pons; Sjouke Mauw; Rolando Trujillo-Rasua (CoRR, 2024)