System-level Non-interference for Constant-time Cryptography.

Gilles Barthe Gustavo Betarte Juan Diego Campo Carlos Daniel Luna David Pichardie

Published in: CCS (2014)

Keyphrases

cellular automata
real world
information systems
higher level
real time
data mining
machine learning
learning algorithm
multimedia
image segmentation
high level
database systems
evolutionary algorithm