23 citations · 47 across the 19 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.NI2015
FixRoute: A Unified Logic and Numerical Tool for Provably Safe Internet Traffic Engineering
Behnaz Arzani, Alexander Gurney, Bo Li +3
The performance of networks that use the Internet Protocol is sensitive to precise configuration of many low-level parameters on each network device. These settings govern the acti…
cs.LO2015★ 5 cited
A Program Logic for Verifying Secure Routing Protocols
Chen Chen, Limin Jia, Hao Xu +3
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-do…