Login / Signup
Decomposition instead of self-composition for proving the absence of timing channels.
Timos Antonopoulos
Paul Gazzillo
Michael Hicks
Eric Koskinen
Tachio Terauchi
Shiyi Wei
Published in:
PLDI (2017)
Keyphrases
</>
multi channel
decomposition method
artificial neural networks
cost function
databases
neural network
data mining
case study
computational complexity
multiresolution