Complexity-Theoretic Analysis Protocol Design | Complexity-Theoretic Analysis | Theoretical Computer Science | NEROS