Eireann Leverett
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Complexity×1Crypto×1
Frequent co-authors
Research Timeline
2026
Vulnerability Abundance: A formal proof of infinite vulnerabilities in code
The paper provides a formal proof that a single C program can contain a countably infinite number of distinct, independently assignable software vulnerabilities, suggesting the set of all software vulnerabilities is infinite.
Highlighted terms show continued research focus across papers