Add policy compliant data analysis framework (WIP) for Teaclave

[hiroki-chen]

Description

As the emphasis of data privacy has been imposed by many legal regulations, companies and individuals are becoming aware of the protection of sensitive data in use. However, currently there is no good tool to enforce data privacy policies on the cloud while providing automatic enforcement with formal guarantees. This data analysis framework (though work in progress) adds support for automatic and formal data privacy policy enforcement.

This framework is not finished yet and has the following ongoing tasks:

• Access control design – policy semiring
• Data privacy scheme enforcement
• Formal models and proofs
• Policy language design and automatic generation of executors

While this is not finished, it should be able to perform basic data analysis jobs.

Type of change (select or add applied and delete the others)

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• API change with a documentation update
• Additional test coverage
• Code cleanup or just sync with upstream third-party crates

How has this been tested?

Checklist

• Fork the repo and create your branch from master.
• If you've added code that should be tested, add tests.
• If you've changed APIs, update the documentation.
• Ensure the tests pass (see CI results).
• Make sure your code lints/format.