Login / Signup

Testing noninterference, quickly.

Catalin HritcuJohn HughesBenjamin C. PierceAntal Spector-ZabuskyDimitrios VytiniotisArthur Azevedo de AmorimLeonidas Lampropoulos
Published in: ICFP (2013)
Keyphrases
  • database systems
  • digital libraries
  • statistical tests
  • security policies
  • software testing
  • computer vision
  • bayesian networks
  • multi agent
  • preprocessing