Network-Wide Configuration Synthesis Ahmed El-Hassany(B) , Petar Tsankov, Laurent Vanbever, and Martin Vechev ETH Z¨ urich, Z¨ urich, Switzerland

Source URL: synet.ethz.ch

• Computing
• Internet architecture
• Network architecture
• Internet
• Internet Standards
• Internet protocols
• Routing protocols
• Computer networking
• Datalog
• Open Shortest Path First
• Router
• Forwarding plane

Anna Caroline Stiftung c/o ETH Zürich Foundation WeinbergstrasseZürich Foto

Source URL: www.annacaroline.ch

Computational Multiscale Modeling00L) Spring 2018 May 16, 2018 Prof. Dennis M. Kochmann, ETH Z¨ urich

Source URL: www.mm.ethz.ch

spcl.inf.ethz.ch @spcl_eth TORSTEN HOEFLER, AMNON BARAK, AMNON SHILOH, ZVI DREZNER Corrected Gossip Algorithms for Fast Reliable Broadcast

Source URL: spcl.inf.ethz.ch

ETH ITA im Forschungsbau NEST Schweizer Baumuster-Centrale Zürich, Leichtgewichte

Source URL: www.baumuster.ch

Distributed Join Algorithms on Thousands of Cores Claude Barthels, Ingo Muller ¨ ‡ , Timo Schneider, Gustavo Alonso, Torsten Hoefler Systems Group, Dept. of Computer Science, ETH Zurich ¨ {firstname.lastname}@inf.eth

Source URL: spcl.inf.ethz.ch

Formal Reasoning about Physical Properties of Security Protocols DAVID BASIN, SRDJAN CAPKUN, PATRICK SCHALLER, and BENEDIKT SCHMIDT ETH Zurich, Switzerland Traditional security protocols are mainly concerned with authen

Source URL: www.inf.ethz.ch

Quantifying Web Adblocker Privacy ∗ ˇ Arthur Gervais∗ , Alexandros Filios∗ , Vincent Lenders† , Srdjan Capkun ∗ ETH

Source URL: eprint.iacr.org

CSH & Bernoulli Fellowships 2017 by Prof. Dr. Kevin Heng, CSH Director (13th MarchIn October and November 2016, we advertised for multiple CSH and Bernoulli Fellowships in the AAS Job Register, Earthworks and ETH

Source URL: www.csh.unibe.ch

SWIFT: Predictive Fast Reroute∗ Thomas Holterbach Stefano Vissicchio ETH Zürich; CAIDA, UC San Diego

Source URL: vanbever.eu