Back
  1. Home
  2. Profile of Sergiu BURSUC (Unilu)
Profil

BURSUC Sergiu

University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

Main Referenced Co-authors
MAUW, Sjouke  (4)
BALOGLU, Sevdenur  (3)
PANG, Jun  (3)
Kremer, Steve (2)
Dragan, Constantin-Catalin (1)
Main Referenced Keywords
Electronic voting (1); electronic voting (1); Electronic-voting,-verifiability,-verification (1); electronic-voting,-verifiability,-verification (1); formal verification (1);
Main Referenced Disciplines
Computer science (6)

Publications (total 6)

The most downloaded
234 downloads
Baloglu, S., Bursuc, S., Mauw, S., & Pang, J. (2021). Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios. In IEEE 34th Computer Security Foundations Symposium, Dubrovnik 21-25 June 2021. Los Alamitos, CA, United States: IEEE Computer Society. doi:10.1109/CSF51468.2021.00019 https://hdl.handle.net/10993/45565

The most cited

5 citations (Scopus®)

Baloglu, S., Bursuc, S., Mauw, S., & Pang, J. (2021). Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios. In IEEE 34th Computer Security Foundations Symposium, Dubrovnik 21-25 June 2021. Los Alamitos, CA, United States: IEEE Computer Society. doi:10.1109/CSF51468.2021.00019 https://hdl.handle.net/10993/45565

BALOGLU, S., BURSUC, S., MAUW, S., & PANG, J. (2023). Election Verifiability in Receipt-Free Voting Protocols. In Proceedings of the 36th Computer Security Foundations Symposium (CSF 2023) (pp. 59-74). IEEE Computer Society. doi:10.1109/CSF57540.2023.00005
Peer reviewed

Bursuc, S., & Mauw, S. (2022). Contingent payments from two-party signing and verification for abelian groups. In Conference Proceedings 2022 IEEE 35th Computer Security Foundations Symposium (CSF) (pp. 179-194). IEEE Computer Society. doi:10.1109/CSF54842.2022.9919674
Peer reviewed

Baloglu, S., Bursuc, S., Mauw, S., & Pang, J. (2021). Provably Improving Election Verifiability in Belenios. In Electronic Voting 6th International Joint Conference, E-Vote-ID 2021 Virtual Event, October 5–8, 2021, Proceedings (pp. 1-16). Switzerland: Springer.
Peer reviewed

Baloglu, S., Bursuc, S., Mauw, S., & Pang, J. (2021). Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios. In IEEE 34th Computer Security Foundations Symposium, Dubrovnik 21-25 June 2021. Los Alamitos, CA, United States: IEEE Computer Society. doi:10.1109/CSF51468.2021.00019
Peer reviewed

Bursuc, S., & Kremer, S. (2019). Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification. In S. Bursuc & S. Kremer, Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification. Springer.
Peer reviewed

Bursuc, S., Dragan, C.-C., & Kremer, S. (2019). Private Votes on Untrusted Platforms: Models, Attacks and Provable Scheme. In S. Bursuc, C.-C. Dragan, ... S. Kremer, Private Votes on Untrusted Platforms: Models, Attacks and Provable Scheme. IEEE.
Peer reviewed

Contact ORBilu