Updated with latest papers

Author: jeltevanbommel

pdfs/2024/2024_formalverificationscionrouter.pdf

@@ -1,3 +1,34 @@
+@InProceedings{wirz2025SCIERA,
+ 	title        = {{Scaling SCIERA: A Journey Through the Deployment of a Next-Generation Network}},
+	author       = {François Wirz* and Marten Gartner* and Jelte van Bommel* and Elham Ehsani Moghadam and Grace H. Cimaszewski 
+		and Anxiao He and Yizhe Zhang and Henry Birge-Lee and Flix Kottmann and Cyrill Krähenbühl and Jonghoon Kwon and Kyveli Mavromati 
+		and Liang Wang and Daniel Bertolo and Marco Canini and Buseung Cho and Ronaldo A. Ferreira and Simon. P. Green and David Hausheer 
+		and Junbeom Hur and Xiaohua Jia and Heejo Lee and Prateek Mittal and Omo Oaiya and Chanjin Park and Adrian Perrig and Jerry Sobieski 
+		and Yixin Sun and Cong Wang and Klaas Wierenga (*joint first authors)},
+	year         = {2025},
+	month        = {sep},
+	booktitle    = {Proceedings of {ACM SIGCOMM}},
+	url          = {https://scionproto-contrib.github.io/publications/pdfs/2025/2025_Sigcomm_Scaling_SCIERA.pdf},
+	keywords     = {networking}
+}
+@InProceedings{ehsani2025te,
+	title        = {{Polaris: End-to-End Path Optimization by End Hosts}},
+	author       = {Elham Ehsani Moghadam and Patrick Wicki and François Wirz and Jordi Subirà Nieto and Yih-Chun Hu and Adrian Perrig},
+	year         = {2025},
+	month        = {jul},
+	booktitle    = {Proceedings of the IEEE/ACM International Symposium on Quality of Service (IWQoS)},
+	url          = {https://scionproto-contrib.github.io/publications/pdfs/2025/2025_Polaris_Final.pdf},
+	keywords     = {networking}
+}
+@InProceedings{kwon2025paac,
+	title        = {{Path-aware Access Control: Granting Access with Transit Network Attributes}},
+	author       = {Jonghoon Kwon and Julian Modanese and Jordi Subirà Nieto and Adrian Perrig},
+	year         = {2025},
+	month        = {jun},
+	booktitle    = {Proceedings of the IEEE International Conference on Communications (ICC)},
+	url          = {https://scionproto-contrib.github.io/publications/pdfs/2025/2025_icc_paac.pdf},
+	keywords     = {authentication-pki}
+}
 @inproceedings{wyss2024usenix,
 	title        = {{Zero-setup Intermediate-rate Communication Guarantees in a Global Internet}},
 	author       = {Marc Wyss and Adrian Perrig},
@@ -26,6 +57,15 @@ @inproceedings{Kraehenbuehl2024latency
 	comment      = {<a href="https://arxiv.org/pdf/2405.04319">arXiv version</a>},
 	keywords     = {accountability}
 }
+@inproceedings{pereira2024protocolscodeformalverification,
+	title        = {{Protocols to Code: Formal Verification of a Next-Generation Internet Router}},
+	author       = {João C. Pereira and Tobias Klenze and Sofia Giampietro and Markus Limbeck and Dionysios Spiliopoulos and Felix A. Wolf and Marco Eilers and Christoph Sprenger and David Basin and Peter Müller and Adrian Perrig},
+	year         = {2024},
+	month        = {may},
+	booktitle    = {arXiv},
+	url          = {https://scionproto-contrib.github.io/publications/pdfs/2024/2024_formalverificationscionrouter.pdf},
+	keywords     = {networking}
+}
 @inproceedings{wyss2024cycon,
 	title        = {{On Building Secure Wide-Area Networks over Public Internet Service Providers}},
 	author       = {Marc Wyss and Roland Meier and Llorenç Romá and Cyrill Krähenbühl and Adrian Perrig and Vincent Lenders},