Bioinformatic Interpreter with Intel SGX
☆24Jun 3, 2020Updated 5 years ago
Alternatives and similar repositories for BI-SGX
Users that are interested in BI-SGX are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Sep 8, 2022Updated 3 years ago
- OP-TEE Remote Attestation☆26Feb 21, 2026Updated 2 months ago
- JSON-RPC Client for Substrate API☆14Aug 14, 2019Updated 6 years ago
- Popularizer of Blockchain Technology☆17Nov 5, 2018Updated 7 years ago
- Remote attestation for Trusted and Confidential Computing platforms (TPM, AMD SEV-SNP, Intel SGX/TDX)☆21Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 未踏応募書類と成果報告書☆49Feb 20, 2024Updated 2 years ago
- The Intel® Software Guard Extensions Enclave Memory Manager is a module designed to manage dynamic memory within an SGX runtime.☆29Jan 13, 2026Updated 3 months ago
- ☆11Mar 20, 2017Updated 9 years ago
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆48Apr 15, 2018Updated 8 years ago
- ☆28Mar 4, 2025Updated last year
- ☆18Mar 29, 2024Updated 2 years ago
- Python interface to the SGX SDK☆30Oct 25, 2018Updated 7 years ago
- ☆22Sep 6, 2016Updated 9 years ago
- 🛠️ Graphical IDE for NextMicon☆28Feb 15, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆179Jan 7, 2023Updated 3 years ago
- Trace runtime failures for solidity☆30May 8, 2019Updated 6 years ago
- Tamarin models for state continuity of SGX enclave programs☆15Aug 6, 2021Updated 4 years ago
- Simple and clear sample code for Remote Attestation☆12Aug 10, 2024Updated last year
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆38Feb 12, 2026Updated 2 months ago
- Team CEA-EPFL-Inpher: code for the iDash 2018 competition☆24Sep 10, 2018Updated 7 years ago
- News in Privacy-Preserving Machine Learning☆12Feb 5, 2020Updated 6 years ago
- Milkcocoa python sdk☆12Dec 19, 2017Updated 8 years ago
- PVSS & Scrape in rust☆11Apr 6, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Sep 8, 2022Updated 3 years ago
- A linter that replays your developing style☆47Oct 24, 2023Updated 2 years ago
- Document Environment for spiegel-im-spiegel.github.io☆10Updated this week
- Like jq, but with json pointers☆16Nov 30, 2025Updated 4 months ago
- ☆14Jun 11, 2020Updated 5 years ago
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Jun 5, 2024Updated last year
- GAUSS EU project: Unmanned aerial vehicle Traffic Management (UTM) software development☆15Feb 7, 2022Updated 4 years ago
- The Chrome plugin for SafeKeeper password protection service.☆12Apr 25, 2018Updated 7 years ago
- [WIP] Ethereum contracts for a decentralized event management tool.☆12Nov 14, 2017Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Implementation of the Reusable Enclaves paper☆14Sep 25, 2023Updated 2 years ago
- CrazyDiskInfo is an interactive TUI S.M.A.R.T viewer for Unix systems.☆10Aug 9, 2022Updated 3 years ago
- Container building stuff☆16Mar 3, 2026Updated last month
- ☆14Dec 27, 2020Updated 5 years ago
- Proof of Concept of TrustZone exploit☆16Aug 10, 2025Updated 8 months ago
- slack plugin for tipping each other with bitcoin and litecoin☆122Dec 8, 2017Updated 8 years ago
- ZSLBox offers some grpc endpoints to generate and verify proofs "à la ZCash": shielding, unshielding and shielded transfers.☆19Oct 2, 2018Updated 7 years ago