Loading…
AI named Cryptographic Protocol Shapes Analyzer in July 2026.
ProVerif, ChatGPT Work, and ns-3 appeared in every answer that named Cryptographic Protocol Shapes Analyzer.
None of these answers cited github.com. AI leaned on arxiv.org, nsnam.org, and tetcos.com.
github.com/mitre/cpsa 0%Other sites 100%