Alternatives and similar repositories for proofDP

Users that are interested in proofDP are comparing it to the libraries listed below

• SvTPM-impl / SvTPM

  View on GitHub
  vTPM with SGX protection
  ☆11May 30, 2019Updated 6 years ago
• yonsei-sslab / asgard

  View on GitHub
  The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…
  ☆14Oct 16, 2025Updated 3 months ago
• langfeldt / gammaReThetatSST

  View on GitHub
  correlation-based turbulence model with transition for OpenFOAM
  ☆12Feb 4, 2016Updated 10 years ago
• ipfs-shipyard / workshop-idm-chat-dapp

  View on GitHub
  The IDM mini-chat DApp workshop
  ☆10May 1, 2025Updated 9 months ago
• foodotbar / Compact-Proofs-of-Retrievability

  View on GitHub
  Compact Proofs of Retrievability
  ☆14May 28, 2014Updated 11 years ago
• OSUSecLab / SGX-Enclave-Formal-Verification

  View on GitHub
  Tamarin models for state continuity of SGX enclave programs
  ☆14Aug 6, 2021Updated 4 years ago
• stevemk14ebr / capstone

  View on GitHub
  Capstone disassembly/disassembler framework: Core (Arm, Arm64, Mips, PPC, Sparc, SystemZ, X86, X86_64, XCore) + bindings (Python, Java, O…
  ☆11Jul 3, 2018Updated 7 years ago
• UzL-ITS / sev-ciphertext-side-channels

  View on GitHub
  Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"
  ☆14May 17, 2022Updated 3 years ago
• adilahmad17 / Veil

  View on GitHub
  ☆10Jun 10, 2024Updated last year
• intel / sgx-gmp

  View on GitHub
  ☆13Aug 4, 2022Updated 3 years ago
• PSPReverse / Insecure-Until-Proven-Updated-Analyzing-AMD-SEV-s-Remote-Attestation

  View on GitHub
  ☆14Nov 10, 2019Updated 6 years ago
• coinexchain / docs

  View on GitHub
  ☆11Nov 19, 2019Updated 6 years ago
• owncloud-docker / ubuntu

  View on GitHub
  Base Ubuntu image for the ownCloud stack
  ☆11Jan 23, 2026Updated 3 weeks ago
• occlum / linux-sgx

  View on GitHub
  Occlum's fork of Intel SGX SDK for Linux
  ☆13Jul 31, 2024Updated last year
• shiyonglu / SecDATAVIEW

  View on GitHub
  A Secure Version of DATAVIEW using SGX techniques.
  ☆10Jul 6, 2021Updated 4 years ago
• ericderegt / algorand

  View on GitHub
  Go implementation of Algorand
  ☆13Dec 5, 2018Updated 7 years ago
• yfe404 / instagram-scraping

  View on GitHub
  Python script to scrap deskgram (Deskgram is a desktop version of Instagram)
  ☆10May 4, 2019Updated 6 years ago
• geommr / medium-marks

  View on GitHub
  Local web scraper/API for Medium bookmarks
  ☆12Dec 10, 2022Updated 3 years ago
• ety001 / ripple-bot

  View on GitHub
  一个针对RippleFox的做市机器人
  ☆13Aug 2, 2017Updated 8 years ago
• OB1Company / filehive

  View on GitHub
  Filehive is a Filecoin-backed marketplace for datasets.
  ☆14Feb 26, 2021Updated 4 years ago
• occlum / sefs

  View on GitHub
  Simple Encrypted File System for Occlum
  ☆13Oct 29, 2025Updated 3 months ago
• bliface / video

  View on GitHub
  ☆12Dec 7, 2019Updated 6 years ago
• yunfeiyanggzq / bls_golang_lib

  View on GitHub
  a lib for bls signature in golang
  ☆11Nov 29, 2020Updated 5 years ago
• DivLoic / xke-ratatouille

  View on GitHub
  Poison pills and Kafka Streams demo
  ☆10Jul 25, 2020Updated 5 years ago
• leboncoin / atelier-initiation-golang

  View on GitHub
  Développeur C ou Java ? Venez vous initier au Go, dans un atelier qui vous fera écrire votre premier service HTTP from scratch. Nous fero…
  ☆14Apr 19, 2018Updated 7 years ago
• CryptoAILab / misalignment

  View on GitHub
  [NDSS'25] The official implementation of safety misalignment.
  ☆17Jan 8, 2025Updated last year
• cnplab / clickos

  View on GitHub
  The Click modular router: fast modular packet processing and analysis
  ☆10Sep 13, 2017Updated 8 years ago
• Ahmad1234567 / provable-data-possession

  View on GitHub
  Automatically exported from code.google.com/p/provable-data-possession
  ☆14Oct 19, 2015Updated 10 years ago
• universal-meaning-map / mind-map

  View on GitHub
  Global domain mind map tool build on top of IPFS and IPLD
  ☆14Nov 15, 2018Updated 7 years ago
• lsds / sgx-lkl-musl

  View on GitHub
  Modified musl libc for SGX-LKL
  ☆13Sep 28, 2020Updated 5 years ago
• thawtar / openfoam_tutorials

  View on GitHub
  ☆14Mar 24, 2023Updated 2 years ago
• yangkun0824 / Fomo3d_AirDrop_Attack_Contract

  View on GitHub
  fomo3d airdrop attack contract manager
  ☆13Aug 31, 2018Updated 7 years ago
• achenfengb / PRINCESS_opensource

  View on GitHub
  PRINCESS source code
  ☆11Oct 15, 2016Updated 9 years ago
• mbassan / wlox

  View on GitHub
  Fully functional multiple cryptocurrency and fiat currency exchange.
  ☆12Feb 24, 2016Updated 9 years ago
• maurodelazeri / gorilla-reconnect

  View on GitHub
  Reconnecting WebSocket is a websocket client based on gorilla/websocket that will automatically reconnect if the connection is dropped.
  ☆13Mar 28, 2018Updated 7 years ago
• NLRWindSystems / pBEAM

  View on GitHub
  A finite element method for beam-like structures.
  ☆12Jun 11, 2025Updated 8 months ago
• lwyeluo / Container-IMA

  View on GitHub
  For paper Container-IMA: https://www.usenix.org/system/files/raid2019-luo.pdf
  ☆12Mar 12, 2020Updated 5 years ago
• shwetasshinde24 / BesFS

  View on GitHub
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Sep 20, 2019Updated 6 years ago
• asterinas / mlsdisk

  View on GitHub
  Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
  ☆20Jul 4, 2024Updated last year