Validation of Abstract Side-Channel Models for Computer Architectures.

Hamed Nemati Pablo Buiras Andreas Lindner Roberto Guanciale Swen Jacobs

Published in: CAV (1) (2020)

Keyphrases

computer architecture
probabilistic model
database
data mining
machine learning
state space
parallel algorithm
multi threaded