Ryan Beckett

Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication · 2017

A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Whom Ryan Beckett trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. N. Feamster
  2. Leonardo de Moura
  3. Peyman Kazemian
  4. Haohui Mai
  5. Hari Balakrishnan
  6. Nikolaj S. Bjørner
  7. George Varghese
  8. Matthew C. Caesar
  9. Wenxuan Zhou

Papers from Ryan Beckett's perspective

Ordered by how strongly the researchers Ryan Beckett trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Detecting BGP configuration faults with static analysis
  2. The stable paths problem and interdomain routing (TNET)
  3. VeriFlow: verifying network-wide invariants in real time (HotSDN '12)
  4. Header Space Analysis: Static Checking for Networks (Symposium on Networked Systems Design and Implementation)
  5. Debugging the data plane with anteater (Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication)
  6. Z3: An Efficient SMT Solver
  7. A General Approach to Network Configuration Analysis (Symposium on Networked Systems Design and Implementation)
  8. Understanding BGP misconfiguration (Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication)
  9. Discovery of policy anomalies in distributed firewalls (IEEE INFOCOM 2004)
  10. FIREMAN: a toolkit for firewall modeling and analysis (IEEE Symposium on Security and Privacy)

Their papers