Theoretical Computer Science, 777:155-183, 2019
https://www.sciencedirect.com/science/article/pii/S030439751930091XTheoretical Computer Science, 777:155-183, 2019
https://www.sciencedirect.com/science/article/pii/S030439751930091X2017 Innovations in Theoretical Computer Science Conference
https://http://itcs-conf.org/itcs17/itcs17-program.htmlSymposium of Operating Systems Principles, pages 51-68, 2017
https://eprint.iacr.org/2017/454Workshop on Formal Methods for Blockchains, 3rd Formal Methods World Congress, 2019
https://arxiv.org/abs/1907.05523Network and Distributed Systems Security (NDSS) Symposium 2019
https://eprint.iacr.org/2018/269The ACM Conference on Computer and Communications Security (CCS) 2020
https://eprint.iacr.org/2020/41929th USENIX Security Symposium 2020
https://eprint.iacr.org/2019/51423rd IACR International Conference on Practice and Theory of Public-Key (PKC) 2020
https://eprint.iacr.org/2020/198Designs, Codes and Cryptography volume 88, pages 505–532 (2020)
https://eprint.iacr.org/2019/1301Proceedings on Privacy Enhancing Technologies (PoPETs) 2019(3): 370-388 (2019)
https://content.sciendo.com/view/journals/popets/2019/3/article-p370.xmlApplied Cryptography and Network Security (ACNS) 2019
https://eprint.iacr.org/2018/857Advances in Cryptology – ASIACRYPT 2019
https://eprint.iacr.org/2019/1001Advances in Cryptology – CRYPTO 2019
https://eprint.iacr.org/2019/630Advances in Cryptology – CRYPTO 2019
https://eprint.iacr.org/2019/747Post-Quantum Cryptography – PQCrypto 2019
https://eprint.iacr.org/2019/090Post-Quantum Cryptography – PQCrypto 2019
https://eprint.iacr.org/2019/083Cryptology ePrint Archive, Report 2018/377, 2018.
https://eprint.iacr.org/2018/377Cryptology ePrint Archive, Report 2020/464, 2020
https://eprint.iacr.org/2020/464Cryptology ePrint Archive, Report 2018/1009
https://eprint.iacr.org/2018/1009