Personensuche
X
?
Chatbot Research and Design; Lecture Notes in Computer Science ,
1
Language Ideology Bias in Conversational Technology:
, In:
?
Proceedings of the ACM on Web Conference 2024 ,
2
SSI, from Specifications to Protocol? Formally Verify Secur..:
, In:
?
2023 IEEE 36th Computer Security Foundations Symposium (CSF) ,
5
Election Verifiability in Receipt-Free Voting Protocols:
, In:
?
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security ,
6
Provably Unlinkable Smart Card-based Payments:
, In:
?
2022 IEEE 35th Computer Security Foundations Symposium (CSF) ,
9
Contingent payments from two-party signing and verification..:
, In:
?
2022 IEEE 35th Computer Security Foundations Symposium (CSF) ,
10
Contingent payments from two-party signing and verification..:
, In:
?
2022 IEEE 35th Computer Security Foundations Symposium (CSF) ,
11
Unlinkability of an Improved Key Agreement Protocol for EMV..:
, In:
?
2022 IEEE 35th Computer Security Foundations Symposium (CSF) ,
14
Is Eve nearby? Analysing protocols under the distant-attack..:
, In:
?
Electronic Voting; Lecture Notes in Computer Science ,
15