hello31337 / BI-SGX
Bioinformatic Interpreter with Intel SGX
☆22Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for BI-SGX
- Stacking List Oriented Basic Architecture Allocator☆15Updated 5 years ago
- A thin-hypervisor that runs on aarch64 CPUs.☆90Updated 4 months ago
- A VSP; run your encrypted C code AS IS!☆114Updated 3 years ago
- hypervisorなmemo☆12Updated 5 years ago
- A UEFI application that measures the number of cycles involved in a VM entry/exit☆27Updated 7 years ago
- A practical engine for Secure Multiparty Computation (SMPC).☆32Updated this week
- 手を動かせばできるLLVMバックエンド チュートリアル(WIP)☆44Updated 2 years ago
- A Module for Privacy-preserving State Transitions with Verifiability☆90Updated last year
- AEON is an In-place file system designed for non-volatile memories.☆15Updated 5 years ago
- Software Design誌の連載「ハイパーバイザの作り方」の原稿公開用リポジトリ☆213Updated 6 years ago
- 未踏応募書類と成果報告書☆42Updated 9 months ago
- The operating system written in Rust☆49Updated 3 months ago
- mruby running inside the bare-metal hypervisor☆18Updated 4 years ago
- ☆26Updated 8 years ago
- A transaction-level sharding simulator for protocol testing against users' behavior on a sharded blockchain.☆31Updated 4 years ago
- This software provides a reference code of the low-latency cryptographic permutation algorithm Areion.☆17Updated 4 months ago
- Valgrind for kernel mode software.☆24Updated 8 years ago
- ros3fs is a Linux FUSE adapter for AWS S3 and S3 compatible object storages.☆14Updated last year
- WWWを再構築するぞ!!!☆15Updated 6 years ago
- https://github.com/sk2sat/emu のほうで一から作り直ししてます☆24Updated 7 years ago
- Kernel debugger using Timeless Debugging method.☆72Updated 7 years ago
- ☆59Updated 3 weeks ago
- ☆27Updated 6 years ago
- ☆37Updated 6 years ago
- The C3, SMT/SAT solver written in C.☆34Updated 2 years ago
- ☆10Updated 8 years ago
- ☆24Updated 2 years ago
- ARM Exploit 開発のためのトレーニングリポジトリ☆19Updated 4 years ago
- ☆28Updated last year
- ☆37Updated this week