PARseL: Towards a Verified Root-of-Trust over seL4.

Ivan De Oliveira Nunes Seoyeon Hwang Sashidhar Jakkamsetti Norrathep Rattanavipanon Gene Tsudik

Published in: CoRR (2023)

Keyphrases

trust evaluation
trust model
database
data sets
genetic algorithm
artificial intelligence
trust management
trust propagation
tree structure
social influence