Simple noninterference from parametricity.

Maximilian Algehed Jean-Philippe Bernardy

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

neural network
medical images
database
machine learning
decision trees
image segmentation
high level
database systems
mobile devices
special case