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: stroboscope.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

Three Bits Suffice: Explicit Support for Passive Measurement of Internet Latency in QUIC and TCP Piet De Vaere, Tobias Bühler, Mirja Kühlewind, and Brian Trammell ETH Zurich, Switzerland ABSTRACT

Source URL: nsg.ee.ethz.ch

• Data transmission
• Computing
• Computer networking
• Network performance
• Internet protocols
• Information and communications technology
• QUIC
• Round-trip delay time
• Transmission Control Protocol
• Packet loss
• Transport layer
• Latency

A Path Layer for the Internet: Enabling Network Operations on Encrypted Protocols Mirja K¨uhlewind∗ , Tobias B¨uhler∗ , Brian Trammell∗ , Stephan Neuhaus† , Roman M¨untener† , and Gorry Fairhurst‡ ∗ ETH

Source URL: nsg.ee.ethz.ch

• Computing
• Network architecture
• Data transmission
• Internet Standards
• Internet protocols
• Computer networking
• Network performance
• Units of information
• Transmission Control Protocol
• QUIC
• Network address translation
• User Datagram Protocol

Networking in Heaven as on Earth Tobias Klenze Giacomo Giuliari Christos Pappas

Source URL: www.netsec.ethz.ch

• Spacecraft
• Internet architecture
• Information and communications technology
• Computing
• Broadband
• Satellite broadcasting
• Satellites
• Satellite Internet access
• Border Gateway Protocol
• Starlink
• Router
• Internet access

Tobias Nipkow Programming and Proving in Isabelle/HOL le l

Source URL: isabelle.in.tum.de

• Type theory
• Theoretical computer science
• Proof assistants
• Mathematical logic
• Programming language theory
• Formal methods
• Lambda calculus
• Logic in computer science
• Isabelle
• HOL
• HindleyMilner type system
• Automated theorem proving

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

Source URL: www.cl.cam.ac.uk

Three Bits Suffice: Explicit Support for Passive Measurement of Internet Latency in QUIC and TCP Piet De Vaere, Tobias Bühler, Mirja Kühlewind, and Brian Trammell ETH Zurich, Switzerland ABSTRACT

Source URL: nsg.romeier.ch

• Data transmission
• Computing
• Computer networking
• Network performance
• Internet protocols
• Information and communications technology
• QUIC
• Round-trip delay time
• Transmission Control Protocol
• Packet loss
• Transport layer
• Latency

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

Source URL: isabelle.in.tum.de

Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle

Source URL: isabelle.in.tum.de

• Mathematics
• Logic
• Mathematical logic
• Recursion
• Theoretical computer science
• Mathematical proofs
• Type theory
• Mathematical induction
• Structural induction
• Recursive definition
• Automated theorem proving
• Natural deduction

Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle

Source URL: mirror.clarkson.edu

• Mathematics
• Logic
• Mathematical logic
• Recursion
• Theoretical computer science
• Mathematical proofs
• Type theory
• Mathematical induction
• Structural induction
• Recursive definition
• Automated theorem proving
• Natural deduction