Cita APA

García-Valero, V., Escobar Román, S., & Ogata, K. (2025). Formalization and analysis of the post-quantum signature scheme FALCON with Maude.

Citación estilo Chicago

García-Valero, Víctor|||0000-0003-0681-1130, Santiago|||0000-0002-3550-4781 Escobar Román, y Kazuhiro Ogata. Formalization and Analysis of the Post-quantum Signature Scheme FALCON With Maude. 2025.

Cita MLA

García-Valero, Víctor|||0000-0003-0681-1130, Santiago|||0000-0002-3550-4781 Escobar Román, y Kazuhiro Ogata. Formalization and Analysis of the Post-quantum Signature Scheme FALCON With Maude. 2025.