Stella Spadoni

According to our database¹, Stella Spadoni authored at least 2 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Cutting Out the Middle Man: A Game-Theoretic Analysis in Computability Logic of the Needham-Schroeder Protocol.

[DOI]

Proceedings of the Joint National Conference on Cybersecurity (ITASEC & SERICS 2026), 2026

2025

The Fertile Steppe: Computability Logic and the decidability of one of its fragments.

[DOI]

CoRR, March, 2025