Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts Lorenz Breidenbach, Cornell Tech, IC3, ETH Zurich; Philip Daian, Cornell Tech, IC3; Florian Tramer, Stanford; Ari Juels, Cornell Tech

Source URL: www.usenix.org

• Cryptocurrencies
• Ethereum
• Blockchains
• Computing
• Alternative currencies
• Concurrent computing
• Distributed computing
• Cross-platform software
• Bug bounty program
• Smart contract
• Software bug
• Bounty

Payment Network Design with Fees arXiv:1810.07585v1 [cs.DS] 17 Oct 2018 Georgia Avarikioti, Gerrit Janssen, Yuyi Wang, and Roger Wattenhofer ETH Zurich, Switzerland

Source URL: arxiv.org

• Mathematics
• Graph theory
• Computational complexity theory
• Network theory
• Edsger W. Dijkstra
• Computational problems
• Shortest path problem
• Dynamic programming
• Graph
• Optimization problem
• Bitcoin
• Max-flow min-cut theorem

Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich

Source URL: practicalsynthesis.github.io

• Computing
• Computer architecture
• Concurrent computing
• Theoretical computer science
• Computer programming
• Refinement
• Abstract interpretation
• Memory barrier
• Abstraction
• Algorithm
• Thread

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

Source URL: www.lenders.ch

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

협회 2018 ETH 협회 개요

Source URL: www.ethrat.ch

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

Source URL: nsg.romeier.ch

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

Boosting the BGP convergence in SDXes with SWIFT Philipp Mao Rüdiger Birkner ETH Zürich

Source URL: swift.ethz.ch

• Computing
• Internet architecture
• Information and communications technology
• Internet
• Computer networking
• Internet Standards
• Internet protocols
• Routing protocols
• Border Gateway Protocol
• Router
• IP routing
• AS3

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

Effective Abstractions for Verification under Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich

Source URL: practicalsynthesis.github.io

• Computer memory
• Computing
• Circular buffer
• Abstract interpretation
• Thread
• Data buffer
• Futures and promises

Net2Text: Query-Guided Summarization of Network Forwarding Behaviors Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev ETH Zürich net2text.ethz.ch Abstract

Source URL: nsg.ee.ethz.ch

• Internet architecture
• Network theory
• Mathematics
• Edsger W. Dijkstra
• Shortest path problem
• Routing
• Reachability
• Computing
• Discrete mathematics
• Network architecture