Sevdenur Baloglu

According to our database, Sevdenur Baloglu authored at least 7 papers between 2016 and 2024.

Collaborative distances:

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

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

IACR Cryptol. ePrint Arch., 2021

2020

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

Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang

IACR Cryptol. ePrint Arch., 2020

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