Search for persons
X
?
Topics in Cryptology – CT-RSA 2024; Lecture Notes in Computer Science ,
1
Batch Signatures, Revisited:
, In:
?
Advances in Cryptology – EUROCRYPT 2023; Lecture Notes in Computer Science ,
2
The Return of the SDitH:
, In:
?
2023 IEEE Symposium on Security and Privacy (SP) ,
3
SPHINCS+C: Compressing SPHINCS+ With (Almost) No Cost:
, In:
?
Advances in Cryptology – CRYPTO 2023; Lecture Notes in Computer Science ,
4
Fixing and Mechanizing the Security Proof of Fiat-Shamir wi..:
, In:
?
Advances in Cryptology – CRYPTO 2023; Lecture Notes in Computer Science ,
5
Machine-Checked Security for $$\textrm{XMSS} $$ as in RFC 8..:
, In:
?
Advances in Cryptology – ASIACRYPT 2023; Lecture Notes in Computer Science ,
6
SDitH in the QROM:
, In:
?
Advances in Cryptology – CRYPTO 2022; Lecture Notes in Computer Science ,
7
Formal Verification of Saber's Public-Key Encryption Scheme..:
, In:
?
Advances in Cryptology – ASIACRYPT 2022; Lecture Notes in Computer Science ,
8
Recovering the Tight Security Proof of SPHINCS$$^+$$:
, In:
?
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security ,
9
Post Quantum Noise:
, In:
?
Advances in Cryptology – ASIACRYPT 2022; Lecture Notes in Computer Science ,
11
Failing Gracefully: Decryption Failures and the Fujisaki-Ok..:
, In:
?
12
Selected Areas in Cryptography: 28th International Conferen..
Lecture Notes in Computer Science, 13203
?
2021 IEEE Symposium on Security and Privacy (SP) ,
14