Type Abstraction for Relaxed Noninterference (Artifact).

Raimil Cruz Tamara Rezk Bernard P. Serpette Éric Tanter

Published in: Dagstuhl Artifacts Ser. (2017)

Keyphrases

data sets
machine learning
three dimensional
high level
image sequences
evolutionary algorithm