IsaNet: A framework for verifying secure data plane protocols.

Tobias Klenze Christoph Sprenger David A. Basin

Published in: J. Comput. Secur. (2023)

Keyphrases

data sets
data processing
database
data analysis
data collection
training data
data points
input data
three dimensional
statistical analysis
data distribution
data quality
high quality
high dimensional
image data
computer systems
lightweight
multi party
sensitive data
cryptographic protocols