English
Related papers

Related papers: Seagull: Privacy preserving network verification s…

200 papers

The Border Gateway Protocol (BGP) is an important component in today's IP network infrastructure. As the main routing protocol of the Internet, clear understanding of its dynamics is crucial for configuring, diagnosing and debugging…

Networking and Internet Architecture · Computer Science 2009-08-04 Alex A. Stewart , Marta F. Antoszkiewicz

BGP is the de facto protocol used for inter-autonomous system routing in the Internet. Generally speaking, BGP has been proven to be secure, efficient, scalable, and robust. However, with the rapid evolving of the Internet in the past few…

Networking and Internet Architecture · Computer Science 2009-07-29 Amit Narayanan

The internet is now-a-days experiencing a stress due to some inherent problems with the main interdomain routing protocol, boarder gateway protocol (BGP), the amount of time it takes to converge, number of update message exchanged followed…

Networking and Internet Architecture · Computer Science 2009-12-22 Shishir Kumar , Mahesh Kumar

The Border Gateway Protocol (BGP) sets up routes between the smaller networks that make up the Internet. Despite its crucial role, BGP is notoriously vulnerable to serious problems, including (1) propagation of bogus routing information due…

Networking and Internet Architecture · Computer Science 2012-09-03 Robert Lychev , Sharon Goldberg , Michael Schapira

The Internet inter-domain routing system is vulnerable. On the control plane, the de facto Border Gateway Protocol (BGP) does not have built-in mechanisms to authenticate routing announcements, so an adversary can announce virtually…

Networking and Internet Architecture · Computer Science 2023-11-10 Xiaoliang Wang , Zhuotao Liu , Qi Li , Yangfei Guo , Sitong Ling , Jiangou Zhan , Yi Xu , Ke Xu , Jianping Wu

The Internet, as it stands today, is highly vulnerable to attacks. However, little has been done to understand and verify the formal security guarantees of proposed secure inter-domain routing protocols, such as Secure BGP (S-BGP). In this…

Logic in Computer Science · Computer Science 2017-01-11 Chen Chen , Limin Jia , Hao Xu , Cheng Luo , Wenchao Zhou , Boon Thau Loo

Networks (Autonomous Systems-AS) allocate or revoke IP prefixes with the intervention of official Internet resource number authorities, and select and advertise policy-compliant paths towards these prefixes using the inter-domain routing…

Networking and Internet Architecture · Computer Science 2019-06-10 Ilias Sfirakis , Vasileios Kotronis

BGP is the de-facto Internet routing protocol for exchanging prefix reachability information between Autonomous Systems (AS). It is a dynamic, distributed, path-vector protocol that enables rich expressions of network policies (typically…

Networking and Internet Architecture · Computer Science 2019-05-13 Pavlos Sermpezis , Vasileios Kotronis

The Internet has many backbone components on top of which the whole world is connected. It is important to make these components, like Border Gateway Protocol (BGP), Domain Name System (DNS), and Public Key Infrastructure (PKI), secure and…

Cryptography and Security · Computer Science 2020-01-06 Faizan Safdar Ali , Alptekin Kupcu

The Border Gateway Protocol (BGP) is a distributed protocol that manages interdomain routing without requiring a centralized record of which autonomous systems (ASes) connect to which others. Many methods have been devised to infer the AS…

Networking and Internet Architecture · Computer Science 2022-06-30 Kirtus G. Leyba , Joshua J. Daymude , Jean-Gabriel Young , M. E. J. Newman , Jennifer Rexford , Stephanie Forrest

The Border Gateway Protocol (BGP) remains a fragile pillar of Internet routing. BGP hijacks still occurr daily. While full deployment of Route Origin Validation (ROV) is ongoing, attackers have already adapted, launching post-ROV attacks…

Cryptography and Security · Computer Science 2025-07-29 Alessandro Giaconia , Muoi Tran , Laurent Vanbever , Stefano Vissicchio

BGP (Border Gateway Protocol) serves as the primary routing protocol for the Internet, enabling Autonomous Systems (individual network operators) to exchange network reachability information. Alongside significant on-going research and…

Networking and Internet Architecture · Computer Science 2017-05-25 Joel Obstfeld , Xiaoyu Chen , Olivier Frebourg , Pavan Sudheendra

As the deployment of comprehensive Border Gateway Protocol (BGP) security measures is still in progress, BGP monitoring continues to play a critical role in protecting the Internet from routing attacks. Fundamentally, monitoring involves…

Cryptography and Security · Computer Science 2024-08-20 Henry Birge-Lee , Maria Apostolaki , Jennifer Rexford

Internet is composed of numbers of independent autonomous systems. BGP is used to disseminate reachability information and establishing path between autonomous systems. Each autonomous system is allowed to select a single route to a…

Networking and Internet Architecture · Computer Science 2013-07-17 Sardar M. Bilal , Muhammad Naveed Dilber , Atta ur Rehman Khan

Runtime verification offers scalable solutions to improve the safety and reliability of systems. However, systems that require verification or monitoring by a third party to ensure compliance with a specification might contain sensitive…

Cryptography and Security · Computer Science 2025-05-15 Thomas A. Henzinger , Mahyar Karimi , K. S. Thejaswini

Internet of Vehicles(IoV) is increasingly used as a medium to propagate critical information via establishing connections between entities such as vehicles and infrastructures. During message transmission, privacy-preserving authentication…

Cryptography and Security · Computer Science 2022-09-01 Xia Feng , Kaiping Cui , Liangmin Wang

The current Internet is based on a fundamental assumption of reliability and good intent among actors in the network. Unfortunately, unreliable and malicious behaviour is becoming a major obstacle for Internet communication. In order to…

Networking and Internet Architecture · Computer Science 2011-05-30 Pekka Rantala , Seppo Virtanen , Jouni Isoaho

Anonymous communication networks have emerged as crucial tools for obfuscating communication pathways and concealing user identities. However, their practical deployments face significant challenges, including susceptibility to artificial…

Cryptography and Security · Computer Science 2025-08-05 Chao Ge , Wei Yuan , Ge Chen , Yanbin Pan , Yuan Shen

BGP is the protocol that keeps Internet connected. Operators use it by announcing Address Prefixes (APs), namely IP address blocks, that they own or that they agree to serve as transit for. BGP enables ISPs to devise complex policies to…

Networking and Internet Architecture · Computer Science 2023-11-02 Liron David , Yuval Shavitt

Content-based routing (CBR) is a powerful model that supports scalable asynchronous communication among large sets of geographically distributed nodes. Yet, preserving privacy represents a major limitation for the wide adoption of CBR,…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-01-18 Rafael Pires , Marcelo Pasin , Pascal Felber , Christof Fetzer
‹ Prev 1 2 3 10 Next ›