Links

Cryptographic Types
KDLM
Jeddak
Open Policy Language
Capability Passing Processes
Accountable Noninterference
Secure Nested Transactions

Jeddak Results

Click on any of the results links on the left to find out more about research results from the Jeddak project.

© Stevens Institute of Technology, 2009. Banner image © FrazettaArtGallery.com.