Abstract: Dynamic Programming identifies the value function of continuous time optimal control with a solution to the Hamilton-Jacobi Equation, appropriately defined. This relationship in turn leads ...

However, prior approaches for programming on encrypted data involve restrictive ... This language, which uses an augmented information-flow type system to prevent control-flow leakage, allows programs ...