taustin/ZaphodFacets
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
master
Could not load branches
Nothing to show
Could not load tags
Nothing to show
{{ refName }}
default
Code
This project is based on Zaphod (http://mozillalabs.com/zaphod/). It is modified in order to support information flow analysis using faceted values, a mechanism we are researching that is related to secure multi-execution. The essential idea is that we track both public and private views for sensitive data.
About
Zaphod integrated with information flow controls
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published