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!

Internet

https://arxiv.org/abs/2405.06074