Login / Signup

Oblivious Program Execution and Path-Sensitive Non-interference.

Jérémy PlanulJohn C. Mitchell
Published in: CSF (2013)
Keyphrases
  • program execution
  • multi processor
  • shortest path
  • multipath
  • java virtual machine
  • object oriented
  • machine learning
  • reinforcement learning