Updated weekly. Details via Crossref

Crossref	Scopus	Google Scholar
3	3	Search

2026	Lecture Notes in Computer Science Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Georg Ehling, Temur Kutsia
2025	Formalization and analysis of the post-quantum signature scheme FALCON with Maude Journal of Logical and Algebraic Methods in Programming Víctor García, Santiago Escobar, Kazuhiro Ogata
2025	Parallel Maude-NPA for Cryptographic Protocol Analysis IEEE Transactions on Dependable and Secure Computing Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata