Personensuche
X
?
Computer Security – ESORICS 2023; Lecture Notes in Computer Science ,
9
Machine-Checked Proofs of Accountability: How to sElect Who..:
, In:
?
Advances in Cryptology – CRYPTO 2023; Lecture Notes in Computer Science ,
11
Machine-Checked Security for $$\textrm{XMSS} $$ as in RFC 8..:
, In:
?
2022 IEEE 35th Computer Security Foundations Symposium (CSF) ,
15