Sofia Giampietro

According to our database, Sofia Giampietro authored at least 2 papers between 2021 and 2024.

Collaborative distances:

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

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

2021

Verifying Table-Based Elections.

David A. Basin, Jannik Dreier, Sofia Giampietro, Sasa Radomirovic

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021