hello31337 / BI-SGXView external linksLinks
Bioinformatic Interpreter with Intel SGX
☆23Jun 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
Sorting:
- OP-TEE Remote Attestation☆23Dec 19, 2025Updated last month
- ☆11Sep 8, 2022Updated 3 years ago
- misc☆16May 26, 2015Updated 10 years ago
- zk-STARK for fibonacci sequence in Rust☆37Sep 17, 2019Updated 6 years ago
- Popularizer of Blockchain Technology☆17Nov 5, 2018Updated 7 years ago
- By using rapid-go you can quickly start developing a great API......☆19Updated this week
- ☆22Sep 6, 2016Updated 9 years ago
- A linter that replays your developing style☆47Oct 24, 2023Updated 2 years ago
- 未踏応募書類と成果報告書☆49Feb 20, 2024Updated last year
- The Intel® Software Guard Extensions Enclave Memory Manager is a module designed to manage dynamic memory within an SGX runtime.☆29Jan 13, 2026Updated last month
- ☆28Mar 4, 2025Updated 11 months ago
- This is a repository of yohei's lecture pdf of 2018 Cookpad Summer Internship 5 DAY R&D.☆28Mar 4, 2019Updated 6 years ago
- Team CEA-EPFL-Inpher: code for the iDash 2018 competition☆24Sep 10, 2018Updated 7 years ago
- Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore☆31Dec 21, 2018Updated 7 years ago
- 🛠️ Graphical IDE for NextMicon☆28Feb 15, 2024Updated 2 years ago
- ☆26Nov 16, 2023Updated 2 years ago
- WaTZ: A Trusted WebAssembly Runtime Environment with Remote Attestation for TrustZone.☆32May 23, 2024Updated last year
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆39Dec 19, 2023Updated 2 years ago
- ☆13Sep 18, 2025Updated 4 months ago
- Bootes - xDS Control-Plane Kubernetes Controller-☆37Feb 25, 2023Updated 2 years ago
- ☆38Apr 29, 2018Updated 7 years ago
- CrazyDiskInfo is an interactive TUI S.M.A.R.T viewer for Unix systems.☆10Aug 9, 2022Updated 3 years ago
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- ☆11Nov 10, 2025Updated 3 months ago
- GAUSS EU project: Unmanned aerial vehicle Traffic Management (UTM) software development☆14Feb 7, 2022Updated 4 years ago
- This is an example of RSA encrypt/decrypt methods running on OP-TEE.☆11Sep 6, 2018Updated 7 years ago
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Oct 11, 2023Updated 2 years ago
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated 10 months ago
- hikalium's lifestyle guide☆12Feb 16, 2025Updated last year
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- A Modified gem5 for Simulating Virtualized Systems☆11Mar 1, 2015Updated 10 years ago
- HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables☆11Apr 7, 2025Updated 10 months ago
- Implementation of KYC smart contract☆10Sep 5, 2018Updated 7 years ago
- Header only packet analysis library written in C++11☆40Sep 2, 2017Updated 8 years ago
- Visualizes server, client, and universal components with explorer badges, status bar indicators, editor decorations, and JSX client bound…☆12Nov 12, 2025Updated 3 months ago
- Simple and clear sample code for Remote Attestation☆10Aug 10, 2024Updated last year
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 4 years ago
- ☆11Jul 20, 2023Updated 2 years ago
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Jun 5, 2024Updated last year