Login / Signup
Testing noninterference, quickly.
Catalin Hritcu
John Hughes
Benjamin C. Pierce
Antal Spector-Zabusky
Dimitrios Vytiniotis
Arthur Azevedo de Amorim
Leonidas Lampropoulos
Published in:
ICFP (2013)
Keyphrases
</>
database systems
digital libraries
statistical tests
security policies
software testing
computer vision
bayesian networks
multi agent
preprocessing