Updated weekly. Details via Crossref

Crossref	Scopus	Google Scholar
2	2	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