Short Paper: On Deployment of DNS-based Security Enhancements Pawel Szalachowski and Adrian Perrig ETH Zurich, Switzerland Abstract. Although the Domain Name System (DNS) was designed as a naming

Source URL: www.netsec.ethz.ch

• Domain name system
• Internet
• Cryptography
• Computing
• Domain Name System Security Extensions
• Sender Policy Framework
• DNS-based Authentication of Named Entities
• DMARC
• Name server
• Extension mechanisms for DNS
• DNS root zone
• Email authentication

An Industrial-Scale Software Defined Internet Exchange Point Arpit Gupta?, Robert MacDavid?, R¨udiger Birkner†, Marco Canini, Nick Feamster?, Jennifer Rexford?, Laurent Vanbever† ?Princeton University †ETH Z¨ur

Source URL: nsg.ee.ethz.ch

• Internet architecture
• Computing
• Information and communications technology
• Network architecture
• Border Gateway Protocol
• Forwarding plane
• Internet exchange point
• Router
• Control plane
• Software-defined networking
• Routing
• Forwarding information base

Published as a conference paper at ICLRP ROGRAM S YNTHESIS FOR C HARACTER L EVEL L ANGUAGE M ODELING Pavol Bielik, Veselin Raychev & Martin Vechev Department of Computer Science, ETH Z¨urich, Switzerland

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

• Artificial neural networks
• Computational neuroscience
• Machine learning
• Artificial intelligence
• Applied mathematics
• Computational linguistics
• Natural language processing
• Speech recognition
• Convolutional neural network
• Language model
• Long short-term memory
• Neural network

Effective Abstractions for Verification under Relaxed Memory Models Andrei Dan ETH Zurich Yuri Meshman

Source URL: practicalsynthesis.github.io

• Concurrency control
• Edsger W. Dijkstra
• Flag
• Vexillology
• Mutual exclusion
• Computer programming
• Critical section
• Thread
• Computing
• Software engineering
• Peterson's algorithm
• Lamport's bakery algorithm

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

Alcatraz: Data Exfiltration-Resilient Corporate Network Architecture Daniele E. Asoni ETH Z¨urich Email: Takayuki Sasaki

Source URL: www.netsec.ethz.ch

• Computing
• Information and communications technology
• Computer security
• Computer network security
• Data security
• Computer network
• Telecommunications engineering
• Firewall
• Trusted execution environment
• Transmission Control Protocol
• Packet forwarding
• Packet loss

Source Accountability with Domain-brokered Privacy Taeho Lee, Christos Pappas, David Barrera, Pawel Szalachowski, Adrian Perrig ETH Zürich {kthlee, pappasch, david.barrera, psz, adrian.perrig}@inf.ethz.ch ABSTRACT

Source URL: www.netsec.ethz.ch

SWIFT: Predictive Fast Reroute Technical Report Thomas Holterbach∗† , Stefano Vissicchio‡ , Alberto Dainotti† , Laurent Vanbever∗ ∗ ETH Zürich, † CAIDA, UC San Diego, ‡ University College London ABSTRACT

Source URL: swift.ethz.ch

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

Inferring Crypto API Rules from Code Changes Rumen Paletov∗ Petar Tsankov ETH Zurich, Switzerland

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