Synthesizing Ranking Functions from Bits and Pieces? Caterina Urban1,2 , Arie Gurfinkel2 , and Temesghen Kahsai2,3 1 ETH Z¨

Source URL: seahorn.github.io

• Mathematics
• Infinite loop
• Recursion
• Function
• Computability theory
• Computing

The SCION Internet Architecture An Internet Architecture for the 21st Century David Barrera, Laurent Chuat, Adrian Perrig, Raphael M. Reischuk, Pawel Szalachowski Network Security Group, ETH Zurich, Switzerland March 6,

Source URL: www.netsec.ethz.ch

• Computing
• Network architecture
• Internet architecture
• Internet
• Routing
• Internet Standards
• Internet protocols
• Forwarding plane
• Router
• Border Gateway Protocol
• Open Shortest Path First
• Multiprotocol Label Switching

A Paged Domain Name System for Query Privacy Daniele E. Asoni, Samuel Hitz, and Adrian Perrig Network Security Group Department of Computer Science, ETH Zürich {daniele.asoni,samuel.hitz,adrian.perrig}@inf.ethz.ch

Source URL: www.netsec.ethz.ch

• Domain name system
• Internet
• Internet Standards
• Network architecture
• Computing
• Domain Name System Security Extensions
• Name server
• Domain name
• Root name server
• WHOIS
• Fully qualified domain name
• Second-level domain

Internet Kill Switches Demystified Benjamin Rothenberger ETH Zürich

Source URL: www.netsec.ethz.ch

• Cryptography
• Internet
• Internet Standards
• Computing
• Public-key cryptography
• Key management
• Domain name system
• Routing protocols
• Domain Name System Security Extensions
• Resource Public Key Infrastructure
• DNS spoofing
• BGP hijacking

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

Source URL: swift.ethz.ch

Learning a Static Analyzer from Data Pavol Bielik, Veselin Raychev, and Martin Vechev Department of Computer Science, ETH Z¨ urich, Switzerland {pavol.bielik, veselin.raychev, martin.vechev}@inf.ethz.ch

Source URL: files.sri.inf.ethz.ch

• Applied mathematics
• Cognition
• Cybernetics
• Learning
• Machine learning
• Artificial neural network
• Analysis
• Algorithm
• Mathematics

2015 IEEE Symposium on Security and Privacy Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs Eli Ben-Sasson§ , Alessandro Chiesa∗ , Matthew Green† , Eran Tromer¶ , Madars Virza‡ ∗ ETH

Source URL: www.ieee-security.org

Mille-Feuille: Putting ISP traffic under the scalpel Olivier Tilmans ‡∗, Tobias Bühler §, Stefano Vissicchio †, Laurent Vanbever § ‡ Université catholique de Louvain, § ETH Zürich, † University College Lo

Source URL: www0.cs.ucl.ac.uk

• Computing
• Information and communications technology
• Network architecture
• Internet architecture
• Internet Standards
• Routing protocols
• Computer networking
• Network protocols
• Computer network
• Network switch
• Port mirroring
• NetFlow

NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich

Source URL: nethide.ethz.ch

• Internet architecture
• Computing
• Network architecture
• Routing
• Information and communications technology
• Computer networking
• Internet protocols
• Traceroute
• Hop
• Network topology
• Forwarding plane
• Computer network

SWIFT: Predictive Fast Reroute Thomas Holterbach ETH Zürich / CAIDA SIGCOMM 24th August 2017

Source URL: conferences.sigcomm.org

• Internet architecture
• Computing
• Information and communications technology
• Internet
• Internet protocols
• Computer networking
• Border Gateway Protocol
• Router