Login / Signup
Strong Non-Interference and Type-Directed Higher-Order Masking.
Gilles Barthe
Sonia Belaïd
François Dupressoir
Pierre-Alain Fouque
Benjamin Grégoire
Pierre-Yves Strub
Rébecca Zucchini
Published in:
CCS (2016)
Keyphrases
</>
higher order
markov random field
natural images
computer vision
wireless sensor networks
image processing
multipath
conditional random fields
empirically derived
data sets
low order
human visual system
end to end
graphical models
artificial neural networks
high quality
search engine
genetic algorithm