Theoretical Computer Science, 777:155-183, 2019
Theoretical Computer Science, 777:155-183, 2019
2017 Innovations in Theoretical Computer Science Conference
Symposium of Operating Systems Principles, pages 51-68, 2017
Workshop on Formal Methods for Blockchains, 3rd Formal Methods World Congress, 2019
Network and Distributed Systems Security (NDSS) Symposium 2019
The ACM Conference on Computer and Communications Security (CCS) 2020
29th USENIX Security Symposium 2020
23rd IACR International Conference on Practice and Theory of Public-Key (PKC) 2020
Designs, Codes and Cryptography volume 88, pages 505–532 (2020)
Proceedings on Privacy Enhancing Technologies (PoPETs) 2019(3): 370-388 (2019)
Applied Cryptography and Network Security (ACNS) 2019
Advances in Cryptology – ASIACRYPT 2019
Advances in Cryptology – CRYPTO 2019
Post-Quantum Cryptography – PQCrypto 2019
Post-Quantum Cryptography – PQCrypto 2019
Theory of Cryptography Conference, 2020