Formal Foundations for SCONE Attestation.

Muhammad Usama Sardar Christof Fetzer

Published in: DSN (Supplements) (2022)

Keyphrases

artificial intelligence
formal methods
neural network
database
real world
low cost
formal model
formal models
formal language
social networks
decision trees
formal specification
formal analysis