microsoft / data-in-use-protection-workshop
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
- Sample EVM application for CCF☆13Updated 3 years ago
- Repo of sample implementations leveraging Azure Confidential Computing for container deployments☆31Updated 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
- Research unikernel for virtualized services☆49Updated 2 years ago
- Template repository for CCF apps☆14Updated 3 months ago
- Library sandboxing for the Verona research language and usable in other contexts.☆46Updated last year
- Confidential AI samples☆41Updated last year
- Storage systems with verified correctness properties☆46Updated last week
- The samples aggregates Azure Confidential Computing related samples.☆15Updated last year
- Terraform examples for provisioning Azure Machine Learning☆28Updated 3 years ago
- Program verification with F* course materials☆12Updated 5 years ago
- The runtime for the Verona project☆33Updated last week
- 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
- An implementation of the IETF QUIC protocol in F*☆20Updated 5 years ago
- Isabelle LLVM Code Generator and Refinement☆28Updated last month
- This is a collection of sidecar containers that can be incorporated within confidential container groups on Azure Container Instances.☆32Updated last week
- This project contains various supporting libraries for lean to reason about protocols.☆43Updated 7 years ago
- A term rewriting system for experimental programming language development.☆41Updated last week
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆91Updated last month
- Kafka connector for Cosmos DB Gremlin API☆12Updated 2 years ago
- Stratified synthesis for learning machine code instruction semantics☆36Updated 2 weeks ago
- Kansas Lava☆47Updated 5 years ago
- The vOW4SIKE project provides C code that implements the parallel collision search algorithm by van Oorschot and Wiener (vOW). The algori…☆12Updated 3 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Updated 12 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆23Updated 4 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated 9 months ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- Confidential VM Platform Guest attestation sample apps☆68Updated last month
- This is a collection of sidecar containers that can be incorporated within confidential container groups on Azure Container Instances.☆18Updated last year
- Zing : An explicit state model checker for concurrent and message passing programs.☆17Updated 8 years ago