Login / Signup

Decomposition instead of self-composition for proving the absence of timing channels.

Timos AntonopoulosPaul GazzilloMichael HicksEric KoskinenTachio TerauchiShiyi 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