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 5 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:
- Research unikernel for virtualized services☆51Updated 2 years ago
- Sample EVM application for CCF☆13Updated 4 years ago
- Zing : An explicit state model checker for concurrent and message passing programs.☆17Updated 8 years ago
- Repo of sample implementations leveraging Azure Confidential Computing for container deployments☆34Updated 2 years ago
- Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those comp…☆44Updated 8 years 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
- Library sandboxing for the Verona research language and usable in other contexts.☆46Updated 2 years ago
- The MSR Ironclad project builds provably secure and reliable systems.☆257Updated 2 years ago
- Terraform examples for provisioning Azure Machine Learning☆29Updated 4 years ago
- ☆24Updated 6 months ago
- The runtime for the Verona project☆35Updated 2 weeks ago
- Azure Cosmos TLA+ specifications☆286Updated last year
- Kafka connector for Cosmos DB Gremlin API☆12Updated 2 years ago
- Automata and transducer library for .NET☆81Updated 5 years ago
- Verified implementation of TLS 1.3 in F*☆177Updated 8 months ago
- Telemetry and logs generator for benchmarks☆21Updated 3 years ago
- An Open Enclave port of the ONNX inference server with data encryption and attestation capabilities to enable confidential inference on A…☆58Updated 3 years ago
- This Repository includes documentation and code regarding how to use the Azure Machine Learning service and Power BI together to use AI i…☆17Updated 2 years ago
- Distributed termination detection on a ring, due to Shmuel Safra:☆52Updated last year
- This is a repo for all of the demo assets for Contoso Traders, a fictional company that we have built infrastructure and resources for to…☆27Updated last year
- Series of benchmarks to demonstrate CAP/PACELC theorem for my distributed databases talk☆40Updated 3 weeks ago
- Template repository for CCF apps☆15Updated 9 months ago
- Confidential AI samples☆45Updated last year
- This repository contains samples and scripts which will be helpful when creating Azure Appliances☆54Updated last year
- ☆11Updated last year
- Isabelle LLVM Code Generator and Refinement☆28Updated 4 months ago
- Specification for the Correlation Vector - a protocol for tracing and correlation of events through a distributed system based on a light…☆63Updated last year
- Sample implementations using Naiad☆40Updated 10 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
- A tool that validates academic paper references☆145Updated 2 weeks ago