3 papers
cs.CR2026
ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges
Arman Kolozyan, Tom Sorger, Alexander Hicks +1
Zero-knowledge proofs (ZKPs) have become a core technology for privacy and verifiable computing. They are used to secure blockchains that handle billions of dollars and identity ap…
quant-ph2026
SQOUT: A Risk-Based Threat Analysis Framework for Quantum Communication Systems
Michal Krelina, Tom Sorger, Bob Dirks
Quantum communication systems, despite their theoretical security guarantees, face practical vulnerabilities across physical infrastructure, protocols, and classical subsystems tha…
cs.CR2026
zkSBOM: Privacy-Preserving SBOM Sharing with Zero-Knowledge Sets
Tom Sorger, Eric Cornelissen, Aman Sharma +3
Software Bills of Materials (SBOMs) are increasingly mandated by regulators, yet existing sharing mechanisms impose a binary choice between full disclosure and full opacity. This e…