João C. Pereira

According to our database, João C. Pereira authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Artifact for the paper "Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router".

João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Müller, Adrian Perrig

Dataset, August, 2025

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

João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Müller, Adrian Perrig

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

2024

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

João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Müller, Adrian Perrig

CoRR, 2024

2023

Refinement Proofs in Rust Using Ghost Locks.

Aurel Bílý, João C. Pereira, Jan Schär, Peter Müller

CoRR, 2023