Sevdenur Baloglu

Orcid: 0000-0002-3971-9683

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Formal Verification and Solutions for Estonian E-Voting.
Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, 2024

2023
Formal Verification of Verifiability in E-Voting Protocols.
PhD thesis, 2023

Election Verifiability in Receipt-Free Voting Protocols.
Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2021
Provably Improving Election Verifiability in Belenios.
IACR Cryptol. ePrint Arch., 2021

2020
Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios.
IACR Cryptol. ePrint Arch., 2020

2019
Results on symmetric S-boxes constructed by concatenation of RSSBs.
Cryptogr. Commun., 2019

2016
Classification of 6\times 6 S-boxes Obtained by Concatenation of RSSBs.
Proceedings of the Lightweight Cryptography for Security and Privacy, 2016


  Loading...