Cover Image

Vulnerability Abundance: A formal proof of infinite vulnerabilities in code

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Leverett, Eireann, Vos, Jeroen van der Ham-de
Format:	Preprint
Published:	2026
Subjects:	Computational Complexity Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Privacy-preserving formal concept analysis: A homomorphic encryption-based concept construction
by: Chen, Qiangqiang, et al.
Published: (2025)

New constructions of pseudorandom codes
by: Ghentiyala, Surendra, et al.
Published: (2024)

Vulnerability Disclosure or Notification? Best Practices for Reaching Stakeholders at Scale
by: Chen, Ting-Han, et al.
Published: (2025)

The Role of piracy in quantum proofs
by: Broadbent, Anne, et al.
Published: (2024)

Experimental relativistic zero-knowledge proofs with unconditional security
by: Weng, Chen-Xun, et al.
Published: (2025)

Quantum-proof multi-source randomness extractors in the Markov model
by: Arnon, Rotem, et al.
Published: (2015)

A Zero-Knowledge PCP Theorem
by: Gur, Tom, et al.
Published: (2024)

A Survey on the Applications of Zero-Knowledge Proofs
by: Lavin, Ryan, et al.
Published: (2024)

Hardness Amplification for (Sparse) LPN
by: Aggarwal, Divesh, et al.
Published: (2026)

NP-Completeness and Physical Zero-Knowledge Proof of Hotaru Beam
by: Otsuji, Taisei, et al.
Published: (2026)

Inapproximability of Finding Sparse Vectors in Codes, Subspaces, and Lattices
by: Bhattiprolu, Vijay, et al.
Published: (2024)

Leakage-Resilient Extractors against Number-on-Forehead Protocols
by: Chattopadhyay, Eshan, et al.
Published: (2025)

Efficient derandomization of differentially private counting queries
by: Ghentiyala, Surendra
Published: (2025)

Characterizing the Distinguishability of Product Distributions through Multicalibration
by: Marcussen, Cassandra, et al.
Published: (2024)

Hardness of Range Avoidance and Proof Complexity Generators from Demi-Bits
by: Ren, Hanlin, et al.
Published: (2025)

Differentially Private Compression and the Sensitivity of LZ77
by: Blocki, Jeremiah, et al.
Published: (2025)

Deterministic Hardness of Approximation of Unique-SVP and GapSVP in $\ell_p$ norms for $p>2$
by: Hecht, Yahli, et al.
Published: (2025)

Privacy-Preserving Hamming Distance Computation with Property-Preserving Hashing
by: Zhao, Dongfang
Published: (2025)

Unifying computational entropies via Kullback-Leibler divergence
by: Agrawal, Rohit, et al.
Published: (2019)

How to Verify Any (Reasonable) Distribution Property: Computationally Sound Argument Systems for Distributions
by: Herman, Tal, et al.
Published: (2024)

Lattice Based Crypto breaks in a Superposition of Spacetimes
by: Aggarwal, Divesh, et al.
Published: (2025)

Efficiently Batching Unambiguous Interactive Proofs
by: Berger, Bonnie, et al.
Published: (2025)

On the Classical Hardness of the Semidirect Discrete Logarithm Problem in Finite Groups
by: Arif, Mohammad Ferry Husnil, et al.
Published: (2025)

More Efficient $k$-wise Independent Permutations from Random Reversible Circuits via log-Sobolev Inequalities
by: Gretta, Lucas, et al.
Published: (2024)

Improved Round-by-round Soundness IOPs via Reed-Muller Codes
by: Minzer, Dor, et al.
Published: (2025)

NP-Completeness and Physical Zero-Knowledge Proofs for Zeiger
by: Ruangwises, Suthee
Published: (2024)

Black-Box Crypto is Useless for Pseudorandom Codes
by: Garg, Sanjam, et al.
Published: (2025)

Optimally Blending Honeypots into Production Networks: Hardness and Algorithms
by: Zaman, Md Mahabub Uz, et al.
Published: (2024)

Efficient and Privacy-Preserving Binary Dot Product via Multi-Party Computation
by: Dehkordi, Fatemeh Jafarian, et al.
Published: (2025)

Interactive Oracle Proofs of Proximity to Codes on Graphs
by: Delavenne, Hugo, et al.
Published: (2025)

Faster Mixing of Higher-Dimensional Random Reversible Circuits
by: Gay, William, et al.
Published: (2024)

Pseudorandom Permutations from Random Reversible Circuits
by: He, William, et al.
Published: (2024)

Linear Hashing with $\ell_\infty$ guarantees and two-sided Kakeya bounds
by: Dhar, Manik, et al.
Published: (2022)

Fine-Grained Cryptanalysis: Tight Conditional Bounds for Dense k-SUM and k-XOR
by: Dinur, Itai, et al.
Published: (2021)

A Note on Quantum-Secure PRPs
by: Zhandry, Mark
Published: (2016)

A Meta-Complexity Characterization of Quantum Cryptography
by: Cavalar, Bruno P., et al.
Published: (2024)

A Computational Separation Between Quantum No-cloning and No-telegraphing
by: Nehoran, Barak, et al.
Published: (2023)

A Note on Output Length of One-Way State Generators and EFIs
by: Hhan, Minki, et al.
Published: (2023)

Domijn: The Security of Domain Registrars and the Risk of a Domain Name Takeover
by: van Hove, Koen, et al.
Published: (2026)

Pessimism of the Will, Optimism of the Intellect: Fair Protocols with Malicious but Rational Agents
by: Brice, Léonard, et al.
Published: (2024)