This thesis presents the theoretical framework for A context-sensitive security type system for Java programs. The primary contribution is JSec, a two-stage protocol that prepares a program containing sensitive data to ...

Loss of thrust emergencies, e.g. -- induced by bird strikes or fuel exhaustion -- give rise to the need for expeditiously generating feasible trajectories to nearby runways, in order to guide pilots. It is possible to ...

The Transactor model, an extension to the Actor Model, is a well-formulated way to model distributed concurrent systems while maintaining a global distributed state. This model provides semantics to track dependencies among ...

We propose a hybrid design using multiparty computation (MPC) to achieve both accuracy and speed. An ML application should compute only those primitives cryptographically securely which operate on sensitive input. Towards ...

In 2007, the abstract semantic framework of Vivid was introduced by [Arkoudas and Bringsjord, 2009] for the purpose of mechanized heterogeneous natural deduction that combines symbolic and diagrammatic reasoning. We introduce ...

SEMMDD is a collection of researchers working to improve treatment for Major Depressive Disorder. Specifically, focus is put on accurately modeling patient response to various depression therapies. This paper contributes ...

We develop, test, and apply a statistical photometric parallax method using main sequence turn off (MSTO) stars in the Sloan Digital Sky Survey (SDSS). We show using simulated data that if our density model is similar to ...