microsoft / data-in-use-protection-workshopLinks
A complete workshop content with a series of tracks and hands-on labs on various techniques to protect data in use.
☆12Updated 4 years ago
Alternatives and similar repositories for data-in-use-protection-workshop
Users that are interested in data-in-use-protection-workshop are comparing it to the libraries listed below
Sorting:
- Repo of sample implementations leveraging Azure Confidential Computing for container deployments☆33Updated 2 years ago
- Sample EVM application for CCF☆13Updated 3 years ago
- Research unikernel for virtualized services☆51Updated 2 years ago
- Zing : An explicit state model checker for concurrent and message passing programs.☆17Updated 8 years ago
- ☆24Updated 3 months ago
- Distributed termination detection on a ring, due to Shmuel Safra:☆52Updated 11 months ago
- Azure AutoML for Images. AutoML for Images is part of Azure ML. AutoML for images is available in public preview.☆30Updated 3 years ago
- An Open Enclave port of the ONNX inference server with data encryption and attestation capabilities to enable confidential inference on A…☆57Updated 2 years ago
- Confidential AI samples☆42Updated last year
- Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those comp…☆33Updated 8 years ago
- Terraform examples for provisioning Azure Machine Learning☆29Updated 4 years ago
- Open Source Labs, from Microsoft with Love ♥☆37Updated 7 years ago
- This is a collection of sidecar containers that can be incorporated within confidential container groups on Azure Container Instances.☆33Updated 3 weeks ago
- The MSR Ironclad project builds provably secure and reliable systems.☆252Updated 2 years ago
- The samples aggregates Azure Confidential Computing related samples.☆16Updated last month
- Templates and codebase to allow for an accelerated implementation of data governance capabilities using Microsoft's data governance produ…☆16Updated 3 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆231Updated 4 years ago
- Program verification with F* course materials☆12Updated 6 years ago
- ☆13Updated 2 years ago
- The vOW4SIKE project provides C code that implements the parallel collision search algorithm by van Oorschot and Wiener (vOW). The algori…☆12Updated 4 years ago
- Azure Cosmos TLA+ specifications☆285Updated last year
- Manage the lifecycle of application tokens, keys, and secrets in Azure☆45Updated last year
- Distributed system simulator and distributed algorithm scratchpad☆21Updated 2 years ago
- Library sandboxing for the Verona research language and usable in other contexts.☆46Updated last year
- Template repository for CCF apps☆15Updated 6 months ago
- Azure Data Explorer Labs☆20Updated 4 years ago
- Automata and transducer library for .NET☆82Updated 5 years ago
- This PowerShell script will run some connectivity checks from this machine to the server and database.☆77Updated 8 months ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 2 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated last year