NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨urich netcomplete.ethz.ch Abstract

First Page		Document Content
Date: 2018-05-02 12:52:55 Computing Network architecture Routing protocols Internet Standards Data transmission Internet protocols Internet architecture Computer networking Border Gateway Protocol Open Shortest Path First IS-IS Convergence		NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨urich netcomplete.ethz.ch Abstract Add to Reading List Source URL: netcomplete.ethz.ch Download Document from Source Website File Size: 853,39 KB Share Document on Facebook

	DIY Hosting for Online Privacy Shoumik Palkar and Matei Zaharia Stanford University Before: A Federated Internet The Internet and its protocols were designed to be federated DocID: 1xUTn - View Document
	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 DocID: 1xU3p - View Document
	C H A P TER 30 Internet Protocols Background DocID: 1vote - View Document
	Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols ∗ William Aiello AT&T Labs Research DocID: 1v3dI - View Document
	TLS in the wild: An Internet-wide analysis of TLS-based protocols for electronic communication Ralph Holz∗ , Johanna Amann‡ , Olivier Mehani† , Matthias Wachs§ , Mohamed Ali Kaafar† ∗ University of Sydney, Au DocID: 1uOO6 - View Document