GRooT: Proactive Verification of DNS Configurations.

Siva Kesava Reddy Kakarla Ryan Beckett Behnaz Arzani Todd D. Millstein George Varghese

Published in: SIGCOMM (2020)

Keyphrases

model checking
load balancing
face verification
formal analysis
modular robots
agent teamwork
data sets
data mining
search engine
decision trees
digital libraries
artificial neural networks
information exchange
concurrent systems