Leibniz International Proceedings in Informatics 14th International Conference on Interactive Theorem Proving (ITP 2023) 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18
Proceedings of ICT4S 2023 The International Conference on Information and Communications Technology for Sustainability (ICT4S) The International Conference on Information and Communications Technology for Sustainability (ICT4S), Jun 2023, Rennes, France
CoRes 2023-8èmes Rencontres Francophones sur la Conception de protocoles, l'évaluation de performances et l'expérimentation de Réseaux de communication CoRes 2023-8èmes Rencontres Francophones sur la Conception de protocoles, l'évaluation de performances et l'expérimentation de Réseaux de communication, May 2023, Cargèse (Corse), France
EACL 2023-The 17th Conference of the European Chapter of the Association for Computational Linguistics EACL 2023-The 17th Conference of the European Chapter of the Association for Computational Linguistics, May 2023, Dubrovnik, Croatia
IACR Transactions on Cryptographic Hardware and Embedded Systems IACR Transactions on Cryptographic Hardware and Embedded Systems, 2022, 2022 (4), pp.774-799. ⟨10.46586/tches.v2022.i4.774-799⟩