Demo Data from EDBT 2026 / reviewers in the wild / expert
Gabi Nakibly
dblp:42/5782
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Network optimization and economics
resource allocation |
0.5 | 3 | 2016 | 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.4 | 2 | 2016 | 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.4 | 4 | 2015 | 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.2 | 1 | 2016 | Website-Targeted False Content Injection by Network Operators · USENIX Security Symposium 2016 |
Routing and switching
multipath routing |
0.2 | 1 | 2015 | Optimizing Data Plane Resources for Multipath Flows · IEEE/ACM Trans. Netw. 2015 |
Privacy and data protection
location privacy |
0.2 | 1 | 2015 | PowerSpy: Location Tracking Using Mobile Device Power Analysis · USENIX Security Symposium 2015 |
Routing and switching
MPLS |
0.2 | 2 | 2010 | 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.2 | 1 | 2014 | 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.2 | 1 | 2014 | Gyrophone: Recognizing Speech from Gyroscope Signals · USENIX Security Symposium 2014 |
Network security › protocol security
protocol vulnerability discovery |
0.2 | 1 | 2013 | Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems · CAV 2013 |
Network security › attack strategy › network reconnaissance
active probing |
0.1 | 1 | 2012 | Network-based intrusion detection systems go active! · CCS 2012 |
Network security › intrusion detection and prevention
intrusion detection |
0.1 | 1 | 2012 | Network-based intrusion detection systems go active! · CCS 2012 |
Network security › intrusion detection and prevention › intrusion detection
network intrusion detection |
0.1 | 1 | 2012 | Network-based intrusion detection systems go active! · CCS 2012 |
Routing and switching › routing algorithms
shortest path routing |
0.1 | 2 | 2008 | 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.1 | 1 | 2009 | 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.1 | 1 | 2008 | Maximizing Restorable Throughput in MPLS Networks · INFOCOM 2008 |
Graph algorithms and graph theory › graph algorithms › routing
routing problem complexity |
0.1 | 1 | 2008 | 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.1 | 1 | 2015 | PowerSpy: Location Tracking Using Mobile Device Power Analysis · USENIX Security Symposium 2015 |
Optical networks › routing and wavelength assignment
wavelength assignment |
0.1 | 1 | 2015 | Optimizing Data Plane Resources for Multipath Flows · IEEE/ACM Trans. Netw. 2015 |
Network optimization and economics
throughput maximization |
0.1 | 1 | 2014 | Restorable logical topology in the face of no or partial traffic demand knowledge · INFOCOM 2014 |
Automated reasoning and model checking
parameterized verification |
0.0 | 1 | 2013 | Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems · CAV 2013 |
Network measurement and analytics
anomaly detection |
0.0 | 1 | 2012 | Network-based intrusion detection systems go active! · CCS 2012 |
Routing and switching › routing protocol
OSPF |
0.0 | 1 | 2012 | Persistent OSPF Attacks · NDSS 2012 |
Optical networks › WDM networks
virtual topology |
0.0 | 1 | 2010 | Maximizing restorable throughput in MPLS networks · IEEE/ACM Trans. Netw. 2010 |
Routing and switching
inter-domain routing |
0.0 | 1 | 2008 | On the computational complexity and effectiveness of N-hub shortest-path routing · IEEE/ACM Trans. Netw. 2008 |
Approximation and online algorithms
approximation algorithms |
0.0 | 1 | 2008 | Maximizing Restorable Throughput in MPLS Networks · INFOCOM 2008 |
Approximation and online algorithms
online algorithms |
0.0 | 1 | 2004 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2016 | Website-Targeted False Content Injection by Network Operators
Gabi Nakibly, Jaime Schcolnik, Yossi Rubin |
USENIX Security Symposium | 1 |
| 2016 | Restorable Logical Topology in the Face of No or Partial Traffic Demand KnowledgeabstractThe 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 |
LPAR | 3 |
| 2015 | PowerSpy: Location Tracking Using Mobile Device Power Analysis
Yan Michalevsky, Aaron Schulman, Gunaa Arumugam Veerapandian, Dan Boneh, Gabi Nakibly |
USENIX Security Symposium | 5 |
| 2015 | Optimizing Data Plane Resources for Multipath FlowsabstractIn 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 analysisabstractOpen 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 |
ACSAC | 1 |
| 2014 | Restorable logical topology in the face of no or partial traffic demand knowledgeabstractThe 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 |
INFOCOM | 2 |
| 2014 | Gyrophone: Recognizing Speech from Gyroscope Signals
Yan Michalevsky, Dan Boneh, Gabi Nakibly |
USENIX Security Symposium | 3 |
| 2013 | Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems
Adi Sosnovich, Orna Grumberg, Gabi Nakibly |
CAV | 3 |
| 2013 | OSS: Using Online Scanning Services for Censorship Circumvention
David Fifield, Gabi Nakibly, Dan Boneh |
Privacy Enhancing Technologies | 2 |
| 2012 | Network-based intrusion detection systems go active!abstractIn 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 |
CCS | 2 |
| 2012 | Persistent OSPF Attacks
Gabi Nakibly, Alex Kirshon, Dima Gonikman, Dan Boneh |
NDSS | 1 |
| 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 NetworksabstractMPLS 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 |
INFOCOM | 2 |
| 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 ServicesabstractNetwork 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 |
INFOCOM | 2 |
| 2004 | On the Computational Complexity and Effectiveness of N-hub Shortest-Path RoutingabstractIn 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 |
INFOCOM | 2 |