hello31337 / BI-SGXLinks
Bioinformatic Interpreter with Intel SGX
☆23Updated 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:
- A VSP; run your encrypted C code AS IS!☆118Updated 4 years ago
- A practical engine for Secure Multiparty Computation (SMPC).☆34Updated last month
- WWWを再構築するぞ!!!☆15Updated 7 years ago
- A thin-hypervisor that runs on aarch64 CPUs.☆97Updated 3 weeks ago
- A lightweight Type-1 hypervisor for RISC-V H-extension, featuring RISC-V extension emulation.☆52Updated this week
- Caprese is a microkernel that protects resources with capability-based security.☆18Updated last year
- 手を動かせばできるLLVMバックエンド チュートリアル(WIP)☆43Updated 3 years ago
- An operating system written in Rust☆52Updated 2 months ago
- Stacking List Oriented Basic Architecture Allocator☆15Updated 6 years ago
- 未踏応募書類と成果報告書☆48Updated last year
- A Module for Privacy-preserving State Transitions with Verifiability☆90Updated 2 years ago
- A9N is a Capability-Based Microkernel in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.☆47Updated last week
- ☆27Updated 9 years ago
- aarch64 thin hypervisor for resource aggregation☆36Updated 5 months ago
- Software Design誌の連載「ハイパーバイザの作り方」の原稿公開用リポジトリ☆221Updated 7 years ago
- 🛠️ Graphical IDE for NextMicon☆28Updated last year
- JohnLawCoin☆81Updated 8 months ago
- RGの予稿テンプレート☆20Updated 6 years ago
- CLI tool to rewrite packet using XDP!☆23Updated 3 years ago
- cybozu labs youth 7th☆54Updated 6 years ago
- A transaction-level sharding simulator for protocol testing against users' behavior on a sharded blockchain.☆31Updated 5 years ago
- Light-weight Bare Metal Hypervisor (Type 1) written in C++☆62Updated last year
- セキュリティミニキャンプ2019山梨 MC言語講義☆19Updated 4 years ago
- AEON is an In-place file system designed for non-volatile memories.☆15Updated 6 years ago
- Ansible playbooks for ISUCON9 quals☆10Updated 6 years ago
- Slide decks and sample codes for a lecture of "Security Engineering", which are composed in terms of how to choose and deploy appropriate…☆29Updated last week
- The C3, SMT/SAT solver written in C.☆34Updated last month
- Simple and clear sample code for Remote Attestation☆10Updated last year
- Developing an operating system from scratch (Advent Calendar 2018)☆18Updated 5 years ago
- CR0.CD manipulate Linux Kernel Module as a proc filesystem☆19Updated 6 years ago