Bioinformatic Interpreter with Intel SGX
☆25Jun 3, 2020Updated 6 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:
- misc☆19May 26, 2015Updated 11 years ago
- 未踏応募書類と成果報告書☆49Feb 20, 2024Updated 2 years ago
- Easy made plasma on tendermint NodeJS framework, crypto-on-rails.☆10Mar 13, 2018Updated 8 years ago
- ☆11Sep 8, 2022Updated 4 years ago
- OP-TEE Remote Attestation☆32Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- '23 未踏Jr，'24 未踏ITのDocumentをまとめたRepository☆10Mar 7, 2025Updated last year
- The Intel® Software Guard Extensions Enclave Memory Manager is a module designed to manage dynamic memory within an SGX runtime.☆30May 27, 2026Updated 5 months ago
- Simple and clear sample code for Remote Attestation☆12Aug 10, 2024Updated 2 years ago
- zk-STARK for fibonacci sequence in Rust☆36Sep 17, 2019Updated 7 years ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 5 years ago
- JSON-RPC Client for Substrate API☆14Aug 14, 2019Updated 7 years ago
- C2A development tool based on Gaia tmtc-c2a☆21Dec 22, 2023Updated 2 years ago
- Library for attesting VM workloads inside of an Intel TDX environment☆15Oct 19, 2026Updated last week
- Remote attestation for Trusted and Confidential Computing platforms (TPM, AMD SEV-SNP, Intel SGX/TDX)☆25Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆48Apr 15, 2018Updated 8 years ago
- 🛠️ Graphical IDE for NextMicon☆28Feb 15, 2024Updated 2 years ago
- Python interface to the SGX SDK☆30Oct 25, 2018Updated 8 years ago
- ☆22Sep 6, 2016Updated 10 years ago
- Trace runtime failures for solidity☆29May 8, 2019Updated 7 years ago
- ☆13Feb 4, 2026Updated 8 months ago
- ☆13Jan 30, 2023Updated 3 years ago
- Milkcocoa python sdk☆12Dec 19, 2017Updated 8 years ago
- Remote attestation for the safeboot system☆11Mar 10, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Team CEA-EPFL-Inpher: code for the iDash 2018 competition☆24Sep 10, 2018Updated 8 years ago
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆38Feb 12, 2026Updated 8 months ago
- formal security analysis of the Enshrined Proposer-Builder Separation (ePBS) design introduced in EIP-7732☆16Oct 21, 2026Updated last week
- Enable OPTIGA™ TPM 2.0 on Raspberry Pi 4☆11Mar 13, 2023Updated 3 years ago
- KUE-CHIP 2 Emulator and IDE☆21Oct 2, 2020Updated 6 years ago
- ☆10Sep 12, 2023Updated 3 years ago
- A linter that replays your developing style☆47Oct 24, 2023Updated 3 years ago
- ☆17Jul 30, 2026Updated 2 months ago
- ☆10Jan 30, 2017Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆27Aug 19, 2026Updated 2 months ago
- ☆27Oct 23, 2026Updated last week
- Researching RANDAO manipulation in Ethereum mainnet.☆11Jul 7, 2025Updated last year
- IP Proxying Support for HTTP☆10Oct 19, 2023Updated 3 years ago
- NVD☆15Updated this week
- Proofs of properties of CBC Casper☆36Oct 7, 2019Updated 7 years ago
- ☆10Dec 5, 2023Updated 2 years ago