Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Baloglu, Sevdenur
14  Ergebnisse:
Personensuche X
?
1

Formal Verification and Solutions for Estonian E-Voting:

, In: Proceedings of the 19th ACM Asia Conference on Computer and Communications Security,
Baloglu, Sevdenur ; Bursuc, Sergiu ; Mauw, Sjouke. - p. 728-741 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Election Verifiability in Receipt-Free Voting Protocols:

, In: 2023 IEEE 36th Computer Security Foundations Symposium (CSF),
Baloglu, Sevdenur ; Bursuc, Sergiu ; Mauw, Sjouke. - p. 59-74 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Provably Improving Election Verifiability in Belenios:

, In: Electronic Voting; Lecture Notes in Computer Science,
Baloglu, Sevdenur ; Bursuc, Sergiu ; Mauw, Sjouke. - p. 1-16 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Election Verifiability Revisited: Automated Security Proofs..:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),
Baloglu, Sevdenur ; Bursuc, Sergiu ; Mauw, Sjouke. - p. 1-15 , 2021
Link: https://doi.org/10.1109/..
 
?
5

Results on symmetric S-boxes constructed by concatenation o..:

Kavut, Selçuk ; Baloğlu, Sevdenur
Cryptography and Communications.  11 (2018)  4 - p. 641-660 , 2018
Link: https://doi.org/10.1007/..
 
?
6

Formal Verification of Verifiability in E-Voting Protocols:

Baloglu, Sevdenur
http://orbilu.uni.lu/handle/10993/55700.  , 2023
Link: http://orbilu.uni.lu/han..
 
?
7

Provably Improving Election Verifiability in Belenios:

Baloglu, Sevdenur ; Bursuc, Sergiu ; Mauw, Sjouke.
6th International Joint Conference on Electronic Voting, E-Vote-ID 2021 (from 05-10-2021 to 08-10-2021).  , 2021
Link: http://orbilu.uni.lu/han..
 
?
8

Election Verifiability Revisited: Automated Security Proofs..:

Baloglu, Sevdenur ; Bursuc, Sergiu ; Mauw, Sjouke.
IEEE 34th Computer Security Foundations Symposium (CSF) (from 21-06-2021 to 25-06-2021).  , 2021
Link: http://orbilu.uni.lu/han..
 
?
9

Results on symmetric S-boxes constructed by concatenation o..:

Kavut, Selcuk ; Baloglu, Sevdenur
https://aperta.ulakbim.gov.tr/record/68993.  , 2019
Link: https://aperta.ulakbim.g..
 
?
10

Results on symmetric S-boxes constructed by concatenation o..:

KAVUT, SELÇUK ; Baloglu, Sevdenur
KAVUT S., Baloglu S., "Results on symmetric S-boxes constructed by concatenation of RSSBs", CRYPTOGRAPHY AND COMMUNICATIONS-DISCRETE-STRUCTURES BOOLEAN FUNCTIONS AND SEQUENCES, cilt.11, ss.641-660, 2019.  , 2019
Link: https://hdl.handle.net/1..
 
?
11

Kuantum sonrası kriptografi:

Cenk, Murat ; Keskinkurt Paksoy, Irem ; Taşkin, Halil Kemal...
https://hdl.handle.net/11511/61717.  , 2018
Link: https://hdl.handle.net/1..
 
?
12

Classification of 6 x 6 s-boxes Obtained by concatenation o..:

Kavut, Selçuk ; Baloğlu, Sevdenur
10.1007/978-3-319-55714-4_8.  , 2017
Link: https://hdl.handle.net/2..
 
?
13

Classification of 6 x 6 S-boxes Obtained by Concatenation o..:

Kavut, Selcuk ; Baloglu, Sevdenur
https://aperta.ulakbim.gov.tr/record/46099.  , 2017
Link: https://aperta.ulakbim.g..
 
?
14

Classification of 6 x 6 S-boxes Obtained by Concatenation o..:

KAVUT, SELÇUK ; Baloglu, Sevdenur
KAVUT S., Baloglu S., "Classification of 6 x 6 S-boxes Obtained by Concatenation of RSSBs", 5th International Workshop on Lightweight Cryptography for Security and Privacy (LightSec), Cappadocia, Türkiye, 20 - 21 Eylül 2016, cilt.10098, ss.110-127.  , 2016
Link: https://hdl.handle.net/1..
 
1-14