Login / Signup
Steven Benaloh
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Small Scale
Model Checking
Control Strategies
D Objects
Top Venues
SIGCOMM
</>
Publications
</>
Alan Tang
,
Ryan Beckett
,
Steven Benaloh
,
Karthick Jayaraman
,
Tejas Patil
,
Todd D. Millstein
,
George Varghese
Lightyear: Using Modularity to Scale BGP Control Plane Verification.
SIGCOMM
(2023)