Sevdenur Baloglu

According to our database, Sevdenur Baloglu authored at least 8 papers between 2016 and 2025.

Collaborative distances:

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

2025

Towards formal verification and corrupted setup security for the SwissPost voting system.

Sevdenur Baloglu, Sergiu Bursuc, Reynaldo Gil Pons, Sjouke Mauw

IACR Cryptol. ePrint Arch., 2025

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

Formal Verification of Verifiability in E-Voting Protocols.

Sevdenur Baloglu

PhD thesis, 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

2021

Provably Improving Election Verifiability in Belenios.

Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang

Proceedings of the Electronic Voting - 6th International Joint Conference, 2021

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

Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2019

Results on symmetric S-boxes constructed by concatenation of RSSBs.

Selçuk Kavut, Sevdenur Baloglu

Cryptogr. Commun., 2019

2016

Classification of 6\times 6 S-boxes Obtained by Concatenation of RSSBs.

Selçuk Kavut, Sevdenur Baloglu

Proceedings of the Lightweight Cryptography for Security and Privacy, 2016