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:
- Sample EVM application for CCF☆13Updated 4 years ago
- Research unikernel for virtualized services☆51Updated 2 years ago
- Repo of sample implementations leveraging Azure Confidential Computing for container deployments☆33Updated 2 years ago
- Zing : An explicit state model checker for concurrent and message passing programs.☆17Updated 8 years ago
- Distributed termination detection on a ring, due to Shmuel Safra:☆52Updated last year
- 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
- 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
- Confidential AI samples☆45Updated last year
- A tool that validates academic paper references☆136Updated last month
- Template repository for CCF apps☆15Updated 9 months ago
- The MSR Ironclad project builds provably secure and reliable systems.☆255Updated 2 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
- 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
- This is a collection of sidecar containers that can be incorporated within confidential container groups on Azure Container Instances.☆36Updated last month
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆97Updated 3 weeks ago
- Armada is a tool for writing, and proving correct, high-performance concurrent programs.☆146Updated 8 months ago
- Isabelle LLVM Code Generator and Refinement☆28Updated 3 months ago
- This repository contains the developer tutorials and samples to demonstrate how to create the experiments contained on AI Lab.☆51Updated 2 years ago
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆47Updated 2 years ago
- Automata and transducer library for .NET☆81Updated 5 years ago
- Azure Key Vault and Managed HSM Engine, compatible with OpenSSL☆23Updated 7 months ago
- Distributed system simulator and distributed algorithm scratchpad☆21Updated 2 years ago
- Interfaces between SGX SDKs and the Azure Attestation SGX Certification Cache.☆64Updated 2 weeks ago
- A C++ interpreter for the OPA policy language Rego☆41Updated 2 months ago
- DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code☆18Updated last year
- The samples aggregates Azure Confidential Computing related samples.☆17Updated 3 months ago
- Scheduling Kubernetes Jobs in cluster and Virtual Kubelet☆11Updated 6 years ago
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Updated 2 years ago
- ☆24Updated 6 months ago
- Kafka connector for Cosmos DB Gremlin API☆12Updated 2 years ago