Citazione Stile APA (7a Edizione)

Arranz-Olmos, S., Barthe, G., Blatter, L., Grégoire, B., Laporte, V., & Torrini, P. (2025). The Jasmin Compiler Preserves Cryptographic Security.

Citazione stile Chigago Style (17a edizione)

Arranz-Olmos, Santiago, Gilles Barthe, Lionel Blatter, Benjamin Grégoire, Vincent Laporte, e Paolo Torrini. The Jasmin Compiler Preserves Cryptographic Security. 2025.

Citatione MLA (9a ed.)

Arranz-Olmos, Santiago, et al. The Jasmin Compiler Preserves Cryptographic Security. 2025.