Back
  1. Home
  2. Profile of Sevdenur BALOGLU (Unilu)
Profil

BALOGLU Sevdenur

Main Referenced Co-authors
BURSUC, Sergiu  (3)
MAUW, Sjouke  (3)
PANG, Jun  (3)
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 (3)

Publications (total 3)

The most downloaded
260 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

8 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

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

Contact ORBilu