Volume: Vol-4198 ITASEC & SERICS 2026 | Year: 2026

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