69 citations · 333 across the 43 of their papers we have counts for
46 papers
Fast frequency response with heterogeneous communication delay management under the SCION Internet architecture
Jialun Zhang, Felix Kottmann, Jimmy Chih-Hsien Peng +2
System operators can increasingly exploit distributed energy resources (DERs) and controllable loads (CLs) to provide frequency response services. In conventional practice, communi…
GECKO: Securing Digital Assets Through(out) the Physical World (Extended Technical Report)
Cyrill Krähenbühl, Nico Hauser, Christelle Gloor +2
Although our lives are increasingly transitioning into the digital world, many digital assets still relate to objects or places in the physical world, e.g., websites of stores or r…
A Control-Theoretic Perspective on BBR/CUBIC Congestion-Control Competition
Simon Scherrer, Adrian Perrig, Stefan Schmid
To understand the fairness properties of the BBR congestion-control algorithm (CCA), previous research has analyzed BBR behavior with a variety of models. However, previous model-b…
Protocols to Code: Formal Verification of a Next-Generation Internet Router
João C. Pereira, Tobias Klenze, Sofia Giampietro +8
We present the first formally-verified Internet router, which is part of the SCION Internet architecture. SCION routers run a cryptographic protocol for secure packet forwarding in…
GLIDS: A Global Latency Information Dissemination System
Cyrill Krähenbühl, Seyedali Tabaeiaghdaei, Simon Scherrer +2
A recent advance in networking is the deployment of path-aware multipath network architectures, where network endpoints are given multiple network paths to send their data on. In t…
Charting Censorship Resilience and Global Internet Reachability: A Quantitative Approach
Marina Ivanović, François Wirz, Jordi Subirà Nieto +1
Internet censorship and global Internet reachability are prevalent topics of today's Internet. Nonetheless, the impact of network topology and Internet architecture to these aspect…