The Fertile Steppe: Computability Logic and the decidability of one of its fragments. - Stella Spadoni (CoRR, 2025)

Cutting Out the Middle Man: A Game-Theoretic Analysis in Computability Logic of the Needham-Schroeder Protocol. - Cosimo Perini Brogi; Stella Spadoni (ITASEC/SERICS, 2026)