Dionysios Spiliopoulos

According to our database, Dionysios Spiliopoulos authored at least 4 papers between 2024 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

Accelerating Automated Program Verifiers by Automatic Proof Localization.

Kiran Gopinathan, Dionysios Spiliopoulos, Vikram Goyal, Peter Müller, Markus Püschel, Ilya Sergey

Proceedings of the Computer Aided Verification - 37th International Conference, 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