LambdaIM / proofDPView external linksLinks
☆16Mar 29, 2023Updated 2 years ago
Alternatives and similar repositories for proofDP
Users that are interested in proofDP are comparing it to the libraries listed below
Sorting:
- vTPM with SGX protection☆11May 30, 2019Updated 6 years ago
- 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
- correlation-based turbulence model with transition for OpenFOAM☆12Feb 4, 2016Updated 10 years ago
- The IDM mini-chat DApp workshop☆10May 1, 2025Updated 9 months ago
- Compact Proofs of Retrievability☆14May 28, 2014Updated 11 years ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 4 years ago
- 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
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆14May 17, 2022Updated 3 years ago
- ☆10Jun 10, 2024Updated last year
- ☆13Aug 4, 2022Updated 3 years ago
- ☆14Nov 10, 2019Updated 6 years ago
- ☆11Nov 19, 2019Updated 6 years ago
- Base Ubuntu image for the ownCloud stack☆11Jan 23, 2026Updated 3 weeks ago
- Occlum's fork of Intel SGX SDK for Linux☆13Jul 31, 2024Updated last year
- A Secure Version of DATAVIEW using SGX techniques.☆10Jul 6, 2021Updated 4 years ago
- Go implementation of Algorand☆13Dec 5, 2018Updated 7 years ago
- Python script to scrap deskgram (Deskgram is a desktop version of Instagram)☆10May 4, 2019Updated 6 years ago
- Local web scraper/API for Medium bookmarks☆12Dec 10, 2022Updated 3 years ago
- 一个针对RippleFox的做市机器人☆13Aug 2, 2017Updated 8 years ago
- Filehive is a Filecoin-backed marketplace for datasets.☆14Feb 26, 2021Updated 4 years ago
- Simple Encrypted File System for Occlum☆13Oct 29, 2025Updated 3 months ago
- ☆12Dec 7, 2019Updated 6 years ago
- a lib for bls signature in golang☆11Nov 29, 2020Updated 5 years ago
- Poison pills and Kafka Streams demo☆10Jul 25, 2020Updated 5 years ago
- 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
- [NDSS'25] The official implementation of safety misalignment.☆17Jan 8, 2025Updated last year
- The Click modular router: fast modular packet processing and analysis☆10Sep 13, 2017Updated 8 years ago
- Automatically exported from code.google.com/p/provable-data-possession☆14Oct 19, 2015Updated 10 years ago
- Global domain mind map tool build on top of IPFS and IPLD☆14Nov 15, 2018Updated 7 years ago
- Modified musl libc for SGX-LKL☆13Sep 28, 2020Updated 5 years ago
- ☆14Mar 24, 2023Updated 2 years ago
- fomo3d airdrop attack contract manager☆13Aug 31, 2018Updated 7 years ago
- PRINCESS source code☆11Oct 15, 2016Updated 9 years ago
- Fully functional multiple cryptocurrency and fiat currency exchange.☆12Feb 24, 2016Updated 9 years ago
- 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
- A finite element method for beam-like structures.☆12Jun 11, 2025Updated 8 months ago
- For paper Container-IMA: https://www.usenix.org/system/files/raid2019-luo.pdf☆12Mar 12, 2020Updated 5 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆20Jul 4, 2024Updated last year