Login / Signup
A Dafny-based approach to thread-local information flow analysis.
Graeme Smith
Published in:
FormaliSE (2023)
Keyphrases
</>
flow analysis
information sources
raw data
information retrieval
domain knowledge
contextual information
information sharing
artificial intelligence
video sequences
prior knowledge
end users
semantic information
structural information
information fusion
information flow