Sevdenur Baloglu

Orcid: 0000-0002-3971-9683

According to our database¹, Sevdenur Baloglu authored at least 6 papers between 2016 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Formal Verification of Verifiability in E-Voting Protocols.

[BibT_eX]

[DOI]

Sevdenur Baloglu

PhD thesis, 2023

Election Verifiability in Receipt-Free Voting Protocols.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2021

Provably Improving Election Verifiability in Belenios.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

2020

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

2019

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

[BibT_eX]

[DOI]

Selçuk Kavut

Sevdenur Baloglu

Cryptogr. Commun., 2019

2016

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

[BibT_eX]

[DOI]

Selçuk Kavut

Sevdenur Baloglu

Proceedings of the Lightweight Cryptography for Security and Privacy, 2016

Sevdenur Baloglu

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...