Sevdenur Baloglu

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 8

Top Topics

Automated Theorem Provers

Voting Protocols

Top Venues

IACR Cryptol. ePrint Arch.

Cryptogr. Commun.

Publications

Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
Formal Verification and Solutions for Estonian E-Voting. AsiaCCS (2024)
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
Election Verifiability in Receipt-Free Voting Protocols. CSF (2023)
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios. CSF (2021)
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
Provably Improving Election Verifiability in Belenios. E-VOTE-ID (2021)
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
Provably Improving Election Verifiability in Belenios. IACR Cryptol. ePrint Arch. 2021 (2021)
Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios. IACR Cryptol. ePrint Arch. 2020 (2020)
Selçuk Kavut, Sevdenur Baloglu
Results on symmetric S-boxes constructed by concatenation of RSSBs. Cryptogr. Commun. 11 (4) (2019)
Selçuk Kavut, Sevdenur Baloglu
Classification of 6\times 6 S-boxes Obtained by Concatenation of RSSBs. LightSec (2016)