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

• Azure-Samples / confidential-container-samples
  Repo of sample implementations leveraging Azure Confidential Computing for container deployments
  ☆31Updated last year
• microsoft / EVM-for-CCF
  Sample EVM application for CCF
  ☆13Updated 3 years ago
• microsoft / ccf-app-template
  Template repository for CCF apps
  ☆13Updated 2 months ago
• microsoft / verified-storage
  Storage systems with verified correctness properties
  ☆37Updated this week
• catalin-hritcu / fstar-course
  Program verification with F* course materials
  ☆12Updated 5 years ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆48Updated 2 years ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆39Updated 2 weeks ago
• ZingModelChecker / Zing
  Zing : An explicit state model checker for concurrent and message passing programs.
  ☆16Updated 8 years ago
• microsoft / vOW4SIKE
  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
• Azure / RingMaster
  Configuration store with Notifications for Azure Service Fabric
  ☆11Updated 2 years ago
• klipto / Uncertainty
  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
• microsoft / do-client
  Delivery Optimization client components
  ☆24Updated last week
• tlaplus / foundation
  TLA+ Foundation
  ☆30Updated this week
• microsoft / onnx-server-openenclave
  An Open Enclave port of the ONNX inference server with data encryption and attestation capabilities to enable confidential inference on A…
  ☆56Updated 2 years ago
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆90Updated last week
• dricketts / teaching-concurrency
  Specifications and safety proofs in different tools of a simple concurrent algorithm
  ☆23Updated 4 years ago
• microsoft / confidential-sidecar-containers
  This is a collection of sidecar containers that can be incorporated within confidential container groups on Azure Container Instances.
  ☆31Updated this week
• artagnon / vsfstar
  🦅 VSCode extension for F* with IDE features
  ☆15Updated 5 years ago
• microsoft / formula
  FORMULA 2.0: Formal Specifications for Verification and Synthesis
  ☆17Updated 9 months ago
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆176Updated last month
• microsoft / verona-rt
  The runtime for the Verona project
  ☆31Updated 4 months ago
• mattwar / Kusto.Toolkit
  Tools to make building Kusto query analyzers easier.
  ☆22Updated 6 months ago
• microsoft / confidential-ai
  Confidential AI samples
  ☆39Updated last year
• microsoft / synckusto
  Synchronize database schemas between a Kusto cluster and the local file system
  ☆43Updated 2 months ago
• microsoft / VirtualClient
  Benchmarking and monitoring automation, designed for cloud, built with .NET.
  ☆97Updated this week
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆98Updated 7 months ago
• Azure / carprice
  This Repository includes documentation and code regarding how to use the Azure Machine Learning service and Power BI together to use AI i…
  ☆16Updated last year
• microsoft / DevOps-Immersion
  V1 of the Immersion Labs for DevOps
  ☆13Updated last year
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆27Updated last week
• microsoft / MSRSec
  Security and Privacy Research at Microsoft
  ☆40Updated 6 months ago