Imagen de Portada

Technical Report: Toward Applying Quantum Computing to Network Verification

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Dozier, Kahlil, Beltran, Justin, Berg, Kylie, Matousek, Hugo, Salamatian, Loqman, Katz-Bassett, Ethan, Rubenstein, Dan
Formato:	Preprint
Publicado:	2024
Materias:	Quantum Physics Cryptography and Security Networking and Internet Architecture C.2.2
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Technical Report: Modeling Average False Positive Rates of Recycling Bloom Filters
por: Dozier, Kahlil, et al.
Publicado: (2024)

Matisse: Visualizing Measured Internet Latencies as Manifolds
por: Jasina, Stephen, et al.
Publicado: (2025)

Conducting Mission-Critical Voice Experiments with Automated Speech Recognition and Crowdsourcing
por: Janak, Jan, et al.
Publicado: (2025)

Securing 5G Bootstrapping: A Two-Layer IBS Authentication Protocol
por: Dong, Yilu, et al.
Publicado: (2025)

From the Beginning: Key Transitions in the First 15 Years of DNSSEC
por: Osterweil, Eric, et al.
Publicado: (2021)

TurboTLS: TLS connection establishment with 1 less round trip
por: Aguilar-Melchor, Carlos, et al.
Publicado: (2023)

Zombies in Alternate Realities: The Afterlife of Domain Names in DNS Integrations
por: Valapu, Sulyab Thottungal, et al.
Publicado: (2026)

TeeMAF: A TEE-Based Mutual Attestation Framework for On-Chain and Off-Chain Functions in Blockchain DApps
por: Liu, Xiangyu, et al.
Publicado: (2026)

Bad Neighbors: On Understanding VPN Provider Networks
por: Rytilahti, Teemu, et al.
Publicado: (2024)

GPS Spoofing Attacks on Automated Frequency Coordination System in Wi-Fi 6E and Beyond
por: Dong, Yilu, et al.
Publicado: (2025)

Supervising Smart Home Device Interactions: A Profile-Based Firewall Approach
por: De Keersmaeker, François, et al.
Publicado: (2023)

ChamaleoNet: Programmable Passive Probe for Enhanced Visibility on Erroneous Traffic
por: Wang, Zhihao, et al.
Publicado: (2025)

Dismantling Common Internet Services for Ad-Malware Detection
por: Nettersheim, Florian, et al.
Publicado: (2024)

Toward Intelligent and Secure Cloud: Large Language Model Empowered Proactive Defense
por: Zhou, Yuyang, et al.
Publicado: (2024)

Technical Report: Generating the WEB-IDS23 Dataset
por: Lanfer, Eric, et al.
Publicado: (2025)

HoneyDOC: An Efficient Honeypot Architecture Enabling All-Round Design
por: Fan, Wenjun, et al.
Publicado: (2024)

A Survey of Protocol Fuzzing
por: Zhang, Xiaohan, et al.
Publicado: (2024)

Active Attack Resilience in 5G: A New Take on Authentication and Key Agreement
por: Sultan, Nazatul H., et al.
Publicado: (2025)

SERENE: A Collusion Resilient Replication-based Verification Framework
por: Esmaeili, Amir, et al.
Publicado: (2024)

Securing OPEN-RAN Equipment Using Blockchain-Based Supply Chain Verification
por: Mehrban, Ali, et al.
Publicado: (2024)

Applying Transparent Shaping for Zero Trust Architecture Implementation in AWS: A Case Study
por: Wang, Wenjia, et al.
Publicado: (2024)

Graduated Trust Gating for IoT Location Verification: Trading Off Detection and Proof Escalation
por: Ootani, Yoshiyuki
Publicado: (2026)

Search-Bound Proximity Proofs: Binding Encrypted Geographic Search to Zero-Knowledge Verification
por: Ootani, Yoshiyuki
Publicado: (2026)

Securing Hybrid Wireless Body Area Networks (HyWBAN): Advancements in Semantic Communications and Jamming Techniques
por: Soderi, Simone, et al.
Publicado: (2024)

Hummingbird: Fast, Flexible, and Fair Inter-Domain Bandwidth Reservations
por: Wüst, Karl, et al.
Publicado: (2023)

Efficacy of Full-Packet Encryption in Mitigating Protocol Detection for Evasive Virtual Private Networks
por: Parker, Amy Iris
Publicado: (2024)

Lightweight CNN-Based DDoS Detection for Resource-Constrained Edge Networks
por: Ramanathan, Vedanth, et al.
Publicado: (2023)

Poisoning Attacks on Federated Learning-based Wireless Traffic Prediction
por: Zhang, Zifan, et al.
Publicado: (2024)

Fingerprinting web servers through Transformer-encoded HTTP response headers
por: Darwinkel, Patrick
Publicado: (2024)

Post-Quantum Cryptography in the 5G Core
por: Attema, Thomas, et al.
Publicado: (2025)

Towards a Security Plane for 6G Ecosystems
por: Masip-Bruin, Xavi, et al.
Publicado: (2025)

Towards Trusted Service Monitoring: Verifiable Service Level Agreements
por: Castillo, Fernando, et al.
Publicado: (2025)

SAFER-D: A Self-Adaptive Security Framework for Distributed Computing Architectures
por: Stadler, Marco, et al.
Publicado: (2025)

Secure Targeted Message Dissemination in IoT Using Blockchain Enabled Edge Computing
por: Mollah, Muhammad Baqer, et al.
Publicado: (2024)

Impact of Intelligent Technologies on IoV Security: Integrating Edge Computing and AI
por: Bilal, Awais, et al.
Publicado: (2026)

Towards Decentralized Identity Management in Multi-stakeholder 6G Networks
por: Garzon, Sandro Rodriguez, et al.
Publicado: (2022)

Protocol-agnostic and Data-free Backdoor Attacks on Pre-trained Models in RF Fingerprinting
por: Zhao, Tianya, et al.
Publicado: (2025)

Resilience of Networks to Spreading Computer Viruses: Optimal Anti-Virus Deployment (Extended Version)
por: Tavori, Jhonatan, et al.
Publicado: (2024)

MTDSense: AI-Based Fingerprinting of Moving Target Defense Techniques in Software-Defined Networking
por: Moghaddam, Tina, et al.
Publicado: (2024)

Towards a Decentralized IoT Onboarding for Smart Homes Using Consortium Blockchain
por: Dadkhah, Narges, et al.
Publicado: (2025)