Links

Blog

Research

Publications

Projects

Teaching

Programs

Biography

 

Jeddak

My most recent research project has been the Jeddak project in language-based security. This NSF-funded project has been looking at information flow control aspects of distributed and enterprise applications. We have explored extensions to Java so that security policies can be modeled in the type system, and conformance with policy checked by the compiler. We have developed a model of secure nested transactions that allows secure and in-secure components to collaborate in distributed environments without leaking information. We have developed a framework for reasoning about security in distributed applications that acknowledges the inevitable tradeoff between the strength of the security guarantees and the cost of the security mechanisms.

More information is available at the Jeddak web site.