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: nsg.ee.ethz.ch

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

Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch

Source URL: practicalsynthesis.github.io

• Mathematical logic
• Logic
• Predicate logic
• Mathematics
• Predicate
• FO
• Atomic sentence
• Primitive recursive function
• Syntactic predicate

Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨

Source URL: www.microsoft.com

• Formal languages
• Tree
• Heap
• Binary tree
• Context-free grammar
• Computing
• Software engineering
• Mathematics
• Regular tree grammar

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

Source URL: nsg.ee.ethz.ch

• Electromagnetism
• Transistortransistor logic
• Topology
• Network topology
• Computer network
• Electrical engineering
• Electronics

Payment Network Design with Fees Georgia Avarikioti, Gerrit Janssen, Yuyi Wang, and Roger Wattenhofer ETH Zurich, Switzerland {zetavar,gjanssen,yuwang,wattenhofer}@ethz.ch Abstract. Payment channels are the most promine

Source URL: www.tik.ee.ethz.ch

• Mathematics
• Graph theory
• Computational complexity theory
• Network theory
• Edsger W. Dijkstra
• Computational problems
• Combinatorial optimization
• Shortest path problem
• Dynamic programming
• Graph
• Optimization problem
• Bitcoin

SDX-Based Flexibility or Internet Correctness? Pick Two! R¨udiger Birkner, Arpit Gupta?, Nick Feamster?, Laurent Vanbever  ETH Z¨urich ?Princeton University

Source URL: nsg.ee.ethz.ch

• Internet architecture
• Computing
• Internet
• Network architecture
• Border Gateway Protocol
• Forwarding plane
• IP routing
• Routing
• Control plane
• Cyclone Sidr
• Forwarding
• Peering

XXXX Authentication Challenges in a Global Environment Stephanos Matsumoto, Carnegie Mellon University/ETH Zurich Raphael M. Reischuk, ETH Zurich Pawel Szalachowski, ETH Zurich Tiffany Hyun-Jin Kim, HRL Laboratories

Source URL: www.netsec.ethz.ch

• Cryptography
• Public-key cryptography
• Key management
• Transport Layer Security
• Internet Standards
• Public key infrastructure
• Domain Name System Security Extensions
• Public key certificate
• Certificate authority
• X.509
• DNS root zone
• Man-in-the-middle attack

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: inl.info.ucl.ac.be

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

Deadline-Aware Multipath Communication: An Optimization Problem Laurent Chuat∗ , Adrian Perrig∗ , Yih-Chun Hu† of Computer Science, ETH Zurich, Switzerland † Department of Electrical and Computer Engineering, Uni

Source URL: www.netsec.ethz.ch

• Computing
• Information theory
• Information and communications technology
• Telecommunications engineering
• Data transmission
• Network performance
• Computer networking
• Internet architecture
• Multipath routing
• Transmission Control Protocol
• Packet loss
• Routing

Computational Solid Mechanics00L) Fall 2017 November 23, 2017 Prof. Dennis M. Kochmann, ETH Z¨ urich

Source URL: www.mm.ethz.ch