3 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…
cs.CR2023
Segment-Based Formal Verification of WiFi Fragmentation and Power Save Mode
Zilin Shen, Imtiaz Karim, Elisa Bertino
The IEEE 802.11 family of standards, better known as WiFi, is a widely used protocol utilized by billions of users. Previous works on WiFi formal verification have mostly focused o…