C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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