Proof-Carrying Network Code.

Christian Skalka John Ring David Darais Minseok Kwon Sahil Gupta Kyle Diller Steffen Smolka Nate Foster

Published in: CCS (2019)

Keyphrases

peer to peer
network model
network structure
network parameters
data flow
network architecture
wireless sensor networks
mobile communication
computer networks
link prediction
theorem proving
social network analysis
software systems
wireless networks
cloud computing
data sets
distributed network