| 2018 | Networking | Proactive Rerouting in Network Overlays. | Reuven Cohen, Yuval Dagan, Gabi Nakibly |
| 2015 | LPAR | Analyzing Internet Routing Security Using Model Checking. | Adi Sosnovich, Orna Grumberg, Gabi Nakibly |
| 2014 | ACSAC | OSPF vulnerability to persistent poisoning attacks: a systematic analysis. | Gabi Nakibly, Adi Sosnovich, Eitan Menahem, Ariel Waizel, Yuval Elovici |
| 2014 | INFOCOM | Restorable logical topology in the face of no or partial traffic demand knowledge. | Reuven Cohen, Gabi Nakibly |
| 2013 | CAV | Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems. | Adi Sosnovich, Orna Grumberg, Gabi Nakibly |
| 2013 | CCS | ACTIDS: an active strategy for detecting and localizing network attacks. | Eitan Menahem, Yuval Elovici, Nir Amar, Gabi Nakibly |
| 2012 | CCS | Network-based intrusion detection systems go active! | Eitan Menahem, Gabi Nakibly, Yuval Elovici |
| 2012 | NDSS | Persistent OSPF Attacks. | Gabi Nakibly, Alex Kirshon, Dima Gonikman, Dan Boneh |
| 2008 | INFOCOM | Maximizing Restorable Throughput in MPLS Networks. | Reuven Cohen, Gabi Nakibly |
| 2007 | INFOCOM | A Traffic Engineering Approach for Placement and Selection of Network Services. | Reuven Cohen, Gabi Nakibly |
| 2004 | INFOCOM | On the Computational Complexity and Effectiveness of N-hub Shortest-Path Routing. | Reuven Cohen, Gabi Nakibly |