Cover Image

Protocols to Code: Formal Verification of a Next-Generation Internet Router

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Pereira, João C., Klenze, Tobias, Giampietro, Sofia, Limbeck, Markus, Spiliopoulos, Dionysios, Wolf, Felix A., Eilers, Marco, Sprenger, Christoph, Basin, David, Müller, Peter, Perrig, Adrian
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security Networking and Internet Architecture Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal Verification of the Sumcheck Protocol
by: Bosshard, Azucena Garvía, et al.
Published: (2024)

Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models (Extended Version)
by: Giampietro, Sofia, et al.
Published: (2026)

SOAP: A Social Authentication Protocol
by: Linker, Felix, et al.
Published: (2024)

VerIso: Verifiable Isolation Guarantees for Database Transactions
by: Ghasemirad, Shabnam, et al.
Published: (2025)

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
by: Ghasemirad, Shabnam, et al.
Published: (2024)

One For All: Formally Verifying Protocols which use Aggregate Signatures (extended version)
by: Hofmeier, Xenia, et al.
Published: (2025)

Fast frequency response with heterogeneous communication delay management under the SCION Internet architecture
by: Zhang, Jialun, et al.
Published: (2026)

Verification Algorithms for Automated Separation Logic Verifiers
by: Eilers, Marco, et al.
Published: (2024)

Charting Censorship Resilience and Global Internet Reachability: A Quantitative Approach
by: Ivanović, Marina, et al.
Published: (2024)

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

Geometry-Aware Edge Pooling for Graph Neural Networks
by: Limbeck, Katharina, et al.
Published: (2025)

Detecting Spatial Dependence in Transcriptomics Data using Vectorised Persistence Diagrams
by: Limbeck, Katharina, et al.
Published: (2024)

Optimal and Robust Sliding Mode Regulator for Linear Systems with Delayed Control
by: Michael Basin
Published: (2005)

La relazione che accresce il valore / Giampietro Parolin
by: Parolin, Giampietro

CUERPOS EXCEPTUADOS LA TRASGRESIÓN DE LO BINARIO Y EL DEVENIR DE NUEVAS PRÁCTICAS
by: Sara Perrig
Published: (2008)

Editorial. Grammatik im DaF-Unterricht
by: Gabriela Perrig
Published: (2011)

Reseña de "Del hogar a las urnas. Recorridos de la ciudadanía política femenina Argentina, 1946-1955" de Adriana María Valobra
by: Sara Perrig
Published: (2011)

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

ProVerif Scripts for the Formal Analysis of our Protocol
by: AdilKhan000
Published: (2025)

Formal Modeling and Verification of the Algorand Consensus Protocol in CADP
by: Esposito, Andrea, et al.
Published: (2025)

Reusable Formal Verification of DAG-based Consensus Protocols
by: Bertrand, Nathalie, et al.
Published: (2024)

A Control-Theoretic Perspective on BBR/CUBIC Congestion-Control Competition
by: Scherrer, Simon, et al.
Published: (2025)

Diversity Curves for Graph Representation Learning
by: Limbeck, Katharina, et al.
Published: (2026)

A New Broadcast Primitive for BFT Protocols
by: Drijvers, Manu, et al.
Published: (2024)

Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites
by: Popovic, Miroslav, et al.
Published: (2024)

¿Y ahora qué? Las mujeres antiperonistas y los derechos políticos femeninos (1947-1951)
by: Sara A. Perrig
Published: (2015)

Mujeres, antiperonismo y antifascismo en Argentina (1943-1955)
by: Sara A. Perrig
Published: (2017)

Fully Automatic Neural Network Reduction for Formal Verification
by: Ladner, Tobias, et al.
Published: (2023)

Comments on “Impact of type of procedure and surgeon on EuroSCORE operative risk validation”
by: Kyriakos Spiliopoulos
Published: (2014)

Infective Endocarditis: Controversies and Convictions in the Surgical Treatment
by: Kyriakos Spiliopoulos
Published: (2023)

Chronic stress and coping among cardiac surgeons: a single center study
by: Kyriakos Spiliopoulos
Published: (2014)

Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach
by: Yang, Jingda, et al.
Published: (2023)

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
by: Curaba, Cristian, et al.
Published: (2024)

Transaction Level Hierarchy Guided and Functional Coverage Driven Deductive Formal Verification
by: Strauch, Tobias
Published: (2025)

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
by: Reinhard, Tobias
Published: (2024)

Structural Abstraction and Selective Refinement for Formal Verification
by: Luckeneder, Christoph, et al.
Published: (2025)

Fault-Tolerant Code Switching Protocols for Near-Term Quantum Processors
by: Butt, Friederike, et al.
Published: (2023)

Stability of a Mutualistic Escherichia coli Co‐Culture During Violacein Production Depends on the Kind of Carbon Source
by: Simon Schick, et al.
Published: (2024)

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
by: Achilleos, Antonis, et al.
Published: (2024)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
by: Bacci, Giorgio, et al.
Published: (2025)