2 papers
quant-ph2026
Quantum-Resistant Quantum Teleportation
Xin Jin, Nitish Kumar Chandra, Mohadeseh Azari +4
We propose a quantum-resistant quantum teleportation (QRQT) framework protected by post-quantum cryptography (PQC) to secure the classical correction channel, which is vulnerable t…
cs.CR2025
Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution
Qifan Zhang, Zilin Shen, Imtiaz Karim +2
The Domain Name System Security Extensions (DNSSEC) are critical for preventing DNS spoofing, yet its specifications contain ambiguities and vulnerabilities that elude traditional…