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

SSI, from Specifications to Protocol? Formally Verify Secur..:

, In: Proceedings of the ACM on Web Conference 2024,
Braun, Christoph H.-J. ; Horne, Ross ; Käfer, Tobias. - p. 1620-1631 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Language Ideology Bias in Conversational Technology:

, In: Chatbot Research and Design; Lecture Notes in Computer Science,
Höhn, Sviatlana ; Migge, Bettina ; Dippold, Doris.. - p. 133-148 , 2024
Link: https://doi.org/10.1007/..
 
?
3

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

Anomaly Detection Using Deep Learning Respecting the Resour..:

Horne, Ross ; Mauw, Sjouke ; Mizera, Andrzej..
Journal of Aerospace Information Systems.  20 (2023)  12 - p. 859-872 , 2023
Link: https://doi.org/10.2514/..
 
?
5

On the optimal resistance against mafia and distance fraud ..:

Gil-Pons, Reynaldo ; Mauw, Sjouke ; Trujillo-Rasua, Rolando
Computer Communications.  210 (2023)  - p. 69-78 , 2023
Link: https://doi.org/10.1016/..
 
?
6

When privacy fails, a formula describes an attack: A comple..:

Horne, Ross ; Mauw, Sjouke ; Yurkov, Semen
Theoretical Computer Science.  959 (2023)  - p. 113842 , 2023
Link: https://doi.org/10.1016/..
 
?
7

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

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

From Smart to Secure Contracts: Automated Security Assessme..:

Ferreira Torres, Christof , 2022
Link: http://nbn-resolving.de/..
 
?
10

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

Cloud removal from satellite imagery using multispectral ed..:

Hasan, Cengis ; Horne, Ross ; Mauw, Sjouke.
International Journal of Remote Sensing.  43 (2022)  5 - p. 1881-1893 , 2022
Link: https://doi.org/10.1080/..
 
?
12

Is Eve nearby? Analysing protocols under the distant-attack..:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),
Gil-Pons, Reynaldo ; Horne, Ross ; Mauw, Sjouke.. - p. 17-32 , 2022
Link: https://doi.org/10.1109/..
 
?
13

Unlinkability of an Improved Key Agreement Protocol for EMV..:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),
Horne, Ross ; Mauw, Sjouke ; Yurkov, Semen - p. 364-379 , 2022
Link: https://doi.org/10.1109/..
 
?
14

Preventing active re-identification attacks on social graph..:

Mauw, Sjouke ; Ramírez-Cruz, Yunior ; Trujillo-Rasua, Rolando
Knowledge and Information Systems.  64 (2022)  4 - p. 1077-1100 , 2022
Link: https://doi.org/10.1007/..
 
?
15

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