Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Bursuc, Sergiu
22  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 Unlinkable Smart Card-based Payments:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,
Bursuc, Sergiu ; Horne, Ross ; Mauw, Sjouke. - p. 1392-1406 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Contingent payments from two-party signing and verification..:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),
Bursuc, Sergiu ; Mauw, Sjouke - p. 195-210 , 2022
Link: https://doi.org/10.1109/..
 
?
5

Contingent payments from two-party signing and verification..:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),
Bursuc, Sergiu ; Mauw, Sjouke - p. 195-210 , 2022
Link: https://doi.org/10.1109/..
 
?
6

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/..
 
?
7

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/..
 
?
8

Contingent Payments on a Public Ledger: Models and Reductio..:

, In: Lecture Notes in Computer Science; Computer Security – ESORICS 2019,
Bursuc, Sergiu ; Kremer, Steve - p. 361-382 , 2019
Link: https://doi.org/10.1007/..
 
?
9

Deducibility constraints and blind signatures:

Bursuc, Sergiu ; Comon-Lundh, Hubert ; Delaune, Stéphanie
Information and Computation.  238 (2014)  - p. 106-127 , 2014
Link: https://doi.org/10.1016/..
 
?
10

Software-Based Memory Erasure with relaxed isolation requir..:

Bursuc, Sergiu ; Gil-Pons, Reynaldo ; Mauw, Sjouke.
http://arxiv.org/abs/2401.06626.  , 2024
Link: http://arxiv.org/abs/240..
 
?
11

Provably unlinkable smart card-based payments:

Bursuc, Sergiu ; Horne, Ross ; Mauw, Sjouke.
https://strathprints.strath.ac.uk/86881/1/Bursuc_etal_arXiv_2023_Provably_unlinkable_smart_card_based_payments.pdf.  , 2023
Link: https://strathprints.str..
 
?
12

Provably Unlinkable Smart Card-based Payments:

Bursuc, Sergiu ; Horne, Ross ; Mauw, Sjouke.
http://arxiv.org/abs/2309.03128.  , 2023
Link: http://arxiv.org/abs/230..
 
?
13

Contingent payments from two-party signing and verification..:

Bursuc, Sergiu ; Mauw, Sjouke
35th IEEE Computer Security Foundations Symposium (CSF'22), Haifa, Israel (August 7-10, 2022).  , 2022
Link: http://orbilu.uni.lu/han..
 
?
14

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..
 
?
15

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..
 
1-15