Login / Signup
Relational Models of Microarchitectures for Formal Security Analyses.
Nicholas Mosier
Hanna Lachnitt
Hamed Nemati
Caroline Trippel
Published in:
CoRR (2021)
Keyphrases
</>
relational models
relational data
relational model
graphical models
probabilistic reasoning
bayesian networks
efficient learning
databases
distributed systems
probabilistic graphical models
data model
probabilistic model
random variables
belief networks
relational learning