Imagen de Portada

Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zhang, Qifan, Shen, Zilin, Karim, Imtiaz, Bertino, Elisa, Li, Zhou
Formato:	Preprint
Publicado:	2025
Materias:	Cryptography and Security Formal Languages and Automata Theory Networking and Internet Architecture
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Formally Discovering and Reproducing Network Protocols Vulnerabilities
por: Crochet, Christophe, et al.
Publicado: (2025)

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
por: Basin, David, et al.
Publicado: (2025)

Reachability Analysis of the Domain Name System
por: Nevatia, Dhruv, et al.
Publicado: (2024)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
por: Modesti, Paolo, et al.
Publicado: (2021)

Automata Size Reduction by Procedure Finding
por: Šedý, Michal, et al.
Publicado: (2024)

Robust and Attack Resilient Logic Locking with a High Application-Level Impact
por: Liu, Yuntao, et al.
Publicado: (2021)

Executable QR codes with Machine Learning for Industrial Applications
por: Scanzio, Stefano, et al.
Publicado: (2024)

Standing Firm in 5G: A Single-Round, Dropout-Resilient Secure Aggregation for Federated Learning
por: Zhang, Yiwei, et al.
Publicado: (2025)

Tracer: A Tool for Race Detection in Software Defined Network Models
por: Caltais, Georgiana, et al.
Publicado: (2024)

NetAgentBench: A State-Centric Benchmark for Evaluating Agentic Network Configuration
por: Twabi, Ahmed, et al.
Publicado: (2026)

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
por: Khakpour, Narges, et al.
Publicado: (2025)

Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
por: Ye, Kangfeng, et al.
Publicado: (2025)

Formally Verifying Noir Zero Knowledge Programs with NAVe
por: Antonino, Pedro, et al.
Publicado: (2026)

Regular Expression Denial of Service Induced by Backreferences
por: Liu, Yichen, et al.
Publicado: (2026)

Privacy-Preserving Runtime Verification
por: Henzinger, Thomas A., et al.
Publicado: (2025)

Verification and Attack Synthesis for Network Protocols
por: von Hippel, Max
Publicado: (2025)

Automated generation of attack trees with optimal shape and labelling
por: Gadyatskaya, Olga, et al.
Publicado: (2023)

Sharing The Secret: Distributed Privacy-Preserving Monitoring
por: Karimi, Mahyar, et al.
Publicado: (2026)

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
por: Waga, Masaki, et al.
Publicado: (2024)

Attack Tree Generation via Process Mining
por: Konsta, Alyzia-Maria, et al.
Publicado: (2024)

From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink
por: Amorim, Arthur, et al.
Publicado: (2026)

VWAttacker: A Systematic Security Testing Framework for Voice over WiFi User Equipments
por: Karim, Imtiaz, et al.
Publicado: (2025)

Building Automotive Security on Internet Standards: An Integration of DNSSEC, DANE, and DANCE to Authenticate and Authorize In-Car Services
por: Salomon, Timo, et al.
Publicado: (2025)

Automated Formal Verification of a Highly-Configurable Register Generator
por: Zhang, Shuhang, et al.
Publicado: (2024)

Implementing and Evaluating Post-Quantum DNSSEC in CoreDNS
por: Suela, Julio Gento, et al.
Publicado: (2025)

DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets
por: Christ, Derek, et al.
Publicado: (2026)

Shallow Implementation of Quantum Fingerprinting with Application to Quantum Finite Automata
por: Ziiatdinov, Mansur, et al.
Publicado: (2024)

Cellular Automata based Resource Efficient Maximally Equidistributed Pseudo-Random Number Generators
por: A, Bhuvaneswari, et al.
Publicado: (2026)

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

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation
por: Amorim, Arthur, et al.
Publicado: (2024)

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
por: Zhang, Linpeng, et al.
Publicado: (2024)

Guardians of DNS Integrity: A Remote Method for Identifying DNSSEC Validators Across the Internet
por: Nosyk, Yevheniya, et al.
Publicado: (2024)

The Bright Side of Timed Opacity
por: André, Étienne, et al.
Publicado: (2024)

Agentproof: Static Verification of Agent Workflow Graphs
por: Xavier, Melwin, et al.
Publicado: (2026)

Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
por: Shi, Chenhao, et al.
Publicado: (2023)

Blockchain-Based Decentralized Domain Name System
por: Yang, Guang, et al.
Publicado: (2025)

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

What You Code Is What We Prove: Translating BLE App Logic into Formal Models with LLMs for Vulnerability Detection
por: Yan, Biwei, et al.
Publicado: (2025)

In-Memory Sorting-Searching with Cayley Tree
por: Paul, Subrata, et al.
Publicado: (2025)

A Formal Approach for Tuning Stochastic Oscillators
por: Ballarini, Paolo, et al.
Publicado: (2024)