Personensuche
X
?
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security ,
5
Verifiable Verification in Cryptographic Protocols:
, In:
?
Advances in Cryptology – CRYPTO 2023; Lecture Notes in Computer Science ,
6
When Messages Are Keys: Is HMAC a Dual-PRF?:
, In:
?
2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P) ,
8
Careful with MAc-then-SIGn: A Computational Analysis of the..:
, In:
?
9
Security Standardisation Research: 8th International Confer..
Lecture Notes in Computer Science, 13895
?
Computer Security – ESORICS 2022; Lecture Notes in Computer Science ,
15