Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Gabi Nakibly

dblp:42/5782 · DBLP profile ↗
← Back
18ranked-venue papers
4as first author
0since 2021 · last 2016
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Computer networks · 9 · 1 first-authorSecurity and privacy · 7 · 3 first-authorTheory of computation · 2Artificial intelligence and machine learning · 1Software engineering, systems software and programming languages · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer networks
12 papers
Routing and switching · 45% Optical networks · 27% Network optimization and economics · 19%
Network and information security
6 papers
Network security · 75% Privacy and data protection · 13% Hardware security and side channels · 12%
Theoretical computer science
4 papers
Graph algorithms and graph theory · 45% Automated reasoning and model checking · 27% Approximation and online algorithms · 21%

Topics — the 27 heaviest of 32, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Network optimization and economics
resource allocation
0.532016
Restorable Logical Topology in the Face of No or Partial Traffic Demand Knowledge · IEEE/ACM Trans. Netw. 2016
Maximizing restorable throughput in MPLS networks · IEEE/ACM Trans. Netw. 2010
A traffic engineering approach for placement and selection of network services · IEEE/ACM Trans. Netw. 2009
Optical networks › wavelength-routed network
logical topology design
0.422016
Restorable Logical Topology in the Face of No or Partial Traffic Demand Knowledge · IEEE/ACM Trans. Netw. 2016
Restorable logical topology in the face of no or partial traffic demand knowledge · INFOCOM 2014
Routing and switching
traffic engineering
0.442015
Optimizing Data Plane Resources for Multipath Flows · IEEE/ACM Trans. Netw. 2015
A traffic engineering approach for placement and selection of network services · IEEE/ACM Trans. Netw. 2009
A Traffic Engineering Approach for Placement and Selection of Network Services · INFOCOM 2007
Network security
traffic analysis
0.212016
Website-Targeted False Content Injection by Network Operators · USENIX Security Symposium 2016
Routing and switching
multipath routing
0.212015
Optimizing Data Plane Resources for Multipath Flows · IEEE/ACM Trans. Netw. 2015
Privacy and data protection
location privacy
0.212015
PowerSpy: Location Tracking Using Mobile Device Power Analysis · USENIX Security Symposium 2015
Routing and switching
MPLS
0.222010
Maximizing restorable throughput in MPLS networks · IEEE/ACM Trans. Netw. 2010
Maximizing Restorable Throughput in MPLS Networks · INFOCOM 2008
Optical networks › routing and wavelength assignment
lightpath routing
0.212014
Restorable logical topology in the face of no or partial traffic demand knowledge · INFOCOM 2014
Hardware security and side channels › side-channel attack › acoustic side channel
acoustic eavesdropping
0.212014
Gyrophone: Recognizing Speech from Gyroscope Signals · USENIX Security Symposium 2014
Network security › protocol security
protocol vulnerability discovery
0.212013
Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems · CAV 2013
Network security › attack strategy › network reconnaissance
active probing
0.112012
Network-based intrusion detection systems go active! · CCS 2012
Network security › intrusion detection and prevention
intrusion detection
0.112012
Network-based intrusion detection systems go active! · CCS 2012
Network security › intrusion detection and prevention › intrusion detection
network intrusion detection
0.112012
Network-based intrusion detection systems go active! · CCS 2012
Routing and switching › routing algorithms
shortest path routing
0.122008
On the computational complexity and effectiveness of N-hub shortest-path routing · IEEE/ACM Trans. Netw. 2008
On the Computational Complexity and Effectiveness of N-hub Shortest-Path Routing · INFOCOM 2004
Content delivery and video streaming
service selection
0.112009
A traffic engineering approach for placement and selection of network services · IEEE/ACM Trans. Netw. 2009
Routing and switching › traffic engineering
spare capacity allocation
0.112008
Maximizing Restorable Throughput in MPLS Networks · INFOCOM 2008
Graph algorithms and graph theory › graph algorithms › routing
routing problem complexity
0.112008
On the computational complexity and effectiveness of N-hub shortest-path routing · IEEE/ACM Trans. Netw. 2008
Wireless sensing and localization › tracking › human tracking
mobile user tracking
0.112015
PowerSpy: Location Tracking Using Mobile Device Power Analysis · USENIX Security Symposium 2015
Optical networks › routing and wavelength assignment
wavelength assignment
0.112015
Optimizing Data Plane Resources for Multipath Flows · IEEE/ACM Trans. Netw. 2015
Network optimization and economics
throughput maximization
0.112014
Restorable logical topology in the face of no or partial traffic demand knowledge · INFOCOM 2014
Automated reasoning and model checking
parameterized verification
0.012013
Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems · CAV 2013
Network measurement and analytics
anomaly detection
0.012012
Network-based intrusion detection systems go active! · CCS 2012
Routing and switching › routing protocol
OSPF
0.012012
Persistent OSPF Attacks · NDSS 2012
Optical networks › WDM networks
virtual topology
0.012010
Maximizing restorable throughput in MPLS networks · IEEE/ACM Trans. Netw. 2010
Routing and switching
inter-domain routing
0.012008
On the computational complexity and effectiveness of N-hub shortest-path routing · IEEE/ACM Trans. Netw. 2008
Approximation and online algorithms
approximation algorithms
0.012008
Maximizing Restorable Throughput in MPLS Networks · INFOCOM 2008
Approximation and online algorithms
online algorithms
0.012004
On the Computational Complexity and Effectiveness of N-hub Shortest-Path Routing · INFOCOM 2004

Methods — techniques the papers use, named apart from their topics

simulation · 0.5power consumption analysis · 0.4gyroscope signal processing · 0.4parameterized model checking · 0.3network protocol analysis · 0.3protocol attack analysis · 0.3machine learning · 0.3active probing · 0.3algorithm design · 0.3approximation algorithm · 0.3optimization algorithm · 0.2efficient algorithms · 0.2combinatorial optimization · 0.2polynomial-time algorithm · 0.1heuristic · 0.1complexity analysis · 0.1online algorithms · 0.0
YearPublicationVenuePosition
2016 Website-Targeted False Content Injection by Network Operators
Gabi Nakibly, Jaime Schcolnik, Yossi Rubin
USENIX Security Symposium1
2016 Restorable Logical Topology in the Face of No or Partial Traffic Demand Knowledge
abstract
The construction of a logical network on top of a physical (optical) infrastructure involves two intertwined tasks: logical link selection-deciding which pairs of routers will be connected by logical links (lightpaths); and logical link routing-deciding how to route each logical link across the optical network. The operator of such networks is often required to maximize the available throughput while guaranteeing its restorability. This paper is the first to combine these seemingly conflicting goals into one optimization criterion: maximizing the restorable throughput of the end-to-end paths. We address this problem in three cases: when the operator has no knowledge of the future bandwidth demands, when it has partial knowledge, and when it has full knowledge. We present efficient algorithms for each of these cases and use extensive simulations to compare their performance.
Reuven Cohen, Gabi Nakibly
IEEE/ACM Trans. Netw.2
2015 Analyzing Internet Routing Security Using Model Checking
Adi Sosnovich, Orna Grumberg, Gabi Nakibly
LPAR3
2015 PowerSpy: Location Tracking Using Mobile Device Power Analysis
Yan Michalevsky, Aaron Schulman, Gunaa Arumugam Veerapandian, Dan Boneh, Gabi Nakibly
USENIX Security Symposium5
2015 Optimizing Data Plane Resources for Multipath Flows
abstract
In many modern networks, such as datacenters, optical networks, and multiprotocol label switching (MPLS), the delivery of a traffic flow with a certain bandwidth demand over a single network path is either not possible or not cost-effective. In these cases, it is very often possible to improve the network's bandwidth utilization by splitting the traffic flow over multiple efficient paths. While using multiple paths for the same traffic flow increases the efficiency of the network, it consumes expensive forwarding resources from the network nodes, such as TCAM entries of Ethernet/MPLS switches and wavelengths/lightpaths of optical switches. In this paper, we define several problems related to splitting a traffic flow over multiple paths while minimizing the consumption of forwarding resources, and present efficient algorithms for solving these problems.
Gabi Nakibly, Reuven Cohen, Liran Katzir 0001
IEEE/ACM Trans. Netw.1
2014 OSPF vulnerability to persistent poisoning attacks: a systematic analysis
abstract
Open Shortest Path First (OSPF) is one of the most widely deployed interior gateway routing protocols on the Internet. The most common attack vector against OSPF is spoofing of routing advertisements on behalf of a remote router. OSPF employs a self-defense "fight-back" mechanism that quickly reverts the effects of such attacks. Nonetheless, some attacks that evade the fight-back mechanism have been discovered, making it possible to persistently falsify routing advertisements. This type of attacks are the most serious threat to a routing protocol since they allow an attacker to gain persistent control over how traffic is routed throughout the network. This shows that despite its maturity, the OSPF specification is not without security flaws and may have still-unknown vulnerabilities. In this work we systematically analyze -- manually and by formal verification -- the OSPF specification for additional vulnerabilities in the fight-back mechanism. Our analysis uncovered a fundamental security flaw in OSPF that allows a simple means for an attacker to evade the fight-back mechanism. Most major router vendors acknowledged the existence of this vulnerability in their products. Fortunately, our analysis strongly indicates that no other vulnerabilities in the fight-back mechanism are likely to exist.
Gabi Nakibly, Adi Sosnovich, Eitan Menahem, Ariel Waizel, Yuval Elovici
ACSAC1
2014 Restorable logical topology in the face of no or partial traffic demand knowledge
abstract
The construction of a logical network on top of a physical (optical) infrastructure involves two intertwined tasks: logical link selection - deciding which pairs of routers will be connected by logical links (lightpaths), and logical link routing - deciding how to route each logical link across the optical network. The operator of such networks is often required to maximize the available throughput while guaranteeing its restorability. This paper is the first to combine these seemingly conflicting goals into one optimization criterion: maximizing the restorable throughput of the end-to-end paths. We address this problem in three cases: when the operator has no knowledge of the future bandwidth demands, when it has partial knowledge, and when it has full knowledge. We present efficient algorithms for each of these cases and use extensive simulations to compare their performance.
Reuven Cohen, Gabi Nakibly
INFOCOM2
2014 Gyrophone: Recognizing Speech from Gyroscope Signals
Yan Michalevsky, Dan Boneh, Gabi Nakibly
USENIX Security Symposium3
2013 Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems
Adi Sosnovich, Orna Grumberg, Gabi Nakibly
CAV3
2013 OSS: Using Online Scanning Services for Censorship Circumvention
David Fifield, Gabi Nakibly, Dan Boneh
Privacy Enhancing Technologies2
2012 Network-based intrusion detection systems go active!
abstract
In this work we investigate a new approach for detecting network-wide attacks that aim to degrade the network's Quality of Service (QoS). To this end, a new network-based intrusion detection system (NIDS) is proposed. In contrast to the passive approach which most contemporary NIDS follow and which relies solely on production traffic monitoring, the propose NIDS takes the active approach where special crafted probes are sent according to a known probability distribution in order to monitor the network for anomalous behavior. The proposed approach takes away much of the variability of network traffic that makes it so difficult to classify, and therefore can detect subtle attacks which would not be detected passively. Furthermore, the active probing approach allows the NIDS to be effectively trained using only examples of the network's normal states, hence enabling an effective detection of zero-day attacks. Preliminary results on a real-life ISP network topology demonstrate the advantages of the proposed NIDS.
Eitan Menahem, Gabi Nakibly, Yuval Elovici
CCS2
2012 Persistent OSPF Attacks
Gabi Nakibly, Alex Kirshon, Dima Gonikman, Dan Boneh
NDSS1
2010 Maximizing restorable throughput in MPLS networks
Reuven Cohen, Gabi Nakibly
IEEE/ACM Trans. Netw.2
2009 A traffic engineering approach for placement and selection of network services
Reuven Cohen, Gabi Nakibly
IEEE/ACM Trans. Netw.2
2008 Maximizing Restorable Throughput in MPLS Networks
abstract
MPLS recovery mechanisms are increasing in popularity because they can guarantee fast restoration and high QoS assurance. Their main advantage is that their backup paths are established in advance, before a failure event takes place. Most research on the establishment of primary and backup paths has focused on minimizing the added capacity required by the backup paths in the network. However, this so-called spare capacity allocation (SCA) metric is less practical for network operators who have a fixed capacitated network and want to maximize their revenues. In this paper we present a comprehensive study on restorable throughput maximization in MPLS networks. We present the first polynomial-time algorithms for the splittable version of the problem. For the unsplittable version, we provide a lower bound for the approximation ratio. We present efficient heuristics which are shown to have excellent performance. One of our most important conclusions is that when one seeks to maximize revenue, local recovery should be the recovery scheme of choice.
Reuven Cohen, Gabi Nakibly
INFOCOM2
2008 On the computational complexity and effectiveness of N-hub shortest-path routing
Reuven Cohen, Gabi Nakibly
IEEE/ACM Trans. Netw.2
2007 A Traffic Engineering Approach for Placement and Selection of Network Services
abstract
Network services are provided by means of dedicated service gateways, through which traffic flows are directed. Existing work on service gateway placement has been primarily focused on minimizing the length of the routes through these gateways. Only limited attention has been paid to the effect these routes have on overall network performance. We propose a novel approach for the service placement problem, which takes into account traffic engineering considerations. Rather than trying to minimize the length of the traffic flow routes, we take advantage of these routes in order to enhance the overall network performance. We divide the problem into two sub-problems: finding the best location for each service gateway, and selecting the best service gateway for each flow. We propose efficient algorithms for both problems and study their performance. Our main contribution is showing that placement and selection of network services can be used as effective tools for traffic engineering.
Reuven Cohen, Gabi Nakibly
INFOCOM2
2004 On the Computational Complexity and Effectiveness of N-hub Shortest-Path Routing
abstract
In this paper we study the computational complexity and effectiveness of a concept, we term "N-hub shortest-path routing" in IP networks. N-hub shortest-path routing allows the ingress node of a routing domain to determine up to N intermediate nodes ("hubs") through which a packet will traverse before reaching its final destination. This facilitates better utilization of the network resources, while allowing the network routers to continue to employ the simple and well-known shortest-path routing paradigm. This concept has been suggested in the past but this paper is the first to offer an in-depth investigation of it. We apply this concept to the routing problem of minimizing the maximum load in the network. We show that the resulting routing problem is a difficult (NP-complete) problem and that it is also hard to approximate. However, we propose efficient algorithms for solving this problem both in the online and the offline contexts. Our results show that N-hub shortest-path routing can increase the network utilization significantly even for N=1. Hence, this routing paradigm should be considered as a powerful mechanism for the future datagram routing in the Internet.
Reuven Cohen, Gabi Nakibly
INFOCOM2