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:
- Research unikernel for virtualized services☆51Updated 2 years ago
- Sample EVM application for CCF☆13Updated 4 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
- Distributed termination detection on a ring, due to Shmuel Safra:☆52Updated last year
- The MSR Ironclad project builds provably secure and reliable systems.☆252Updated 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
- 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
- Azure Cosmos TLA+ specifications☆286Updated last year
- Library sandboxing for the Verona research language and usable in other contexts.☆46Updated last year
- TLA+ Foundation☆30Updated 2 weeks ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆95Updated last month
- Isabelle LLVM Code Generator and Refinement☆28Updated 2 months ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated last year
- An Open Enclave port of the ONNX inference server with data encryption and attestation capabilities to enable confidential inference on A…☆57Updated 3 years ago
- Distributed system simulator and distributed algorithm scratchpad☆21Updated 2 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆287Updated this week
- Armada is a tool for writing, and proving correct, high-performance concurrent programs.☆146Updated 6 months ago
- Public snapshots of "ACSL by Example"☆114Updated 3 months ago
- This is a collection of sidecar containers that can be incorporated within confidential container groups on Azure Container Instances.☆33Updated this week
- Configuration store with Notifications for Azure Service Fabric☆11Updated 2 years ago
- ☆11Updated 10 months ago
- A term rewriting system for experimental programming language development.☆44Updated last month
- Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those comp…☆42Updated 8 years ago
- Interfaces between SGX SDKs and the Azure Attestation SGX Certification Cache.☆64Updated 3 weeks ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- Template repository for CCF apps☆15Updated 7 months ago
- Verifying concurrent code with layers and movers☆12Updated 5 years ago
- Program verification with F* course materials☆12Updated 6 years ago
- Sources for the ANSI/ISO C Specification Language manual☆60Updated last week