virtualsecureplatform / kvspLinks
A VSP; run your encrypted C code AS IS!
☆118Updated 2 weeks ago
Alternatives and similar repositories for kvsp
Users that are interested in kvsp are comparing it to the libraries listed below
Sorting:
- Bioinformatic Interpreter with Intel SGX☆23Updated 5 years ago
- 未踏応募書類と成果報告書☆48Updated last year
- WWWを再構築するぞ!!!☆15Updated 7 years ago
- ☆181Updated last week
- 🛠️ Graphical IDE for NextMicon☆28Updated last year
- Stacking List Oriented Basic Architecture Allocator☆15Updated 6 years ago
- ☆63Updated 2 years ago
- Caprese is a microkernel that protects resources with capability-based security.☆19Updated last year
- seccamp2018 c compiler☆57Updated 3 years ago
- translation of XV6☆49Updated 7 years ago
- CR0.CD manipulate Linux Kernel Module as a proc filesystem☆19Updated 6 years ago
- 手を動かせばできるLLVMバックエンド チュートリアル(WIP)☆43Updated 3 years ago
- ☆30Updated 2 years ago
- ☆62Updated 3 months ago
- Toy browser on single process / thread☆33Updated 3 years ago
- A9N is a Capability-based Microkernel / Microhypervisor in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced …☆50Updated 3 months ago
- ☆39Updated 2 months ago
- Generic engine to evaluate logical circuits on homomorphic encryption☆83Updated 2 weeks ago
- ☆18Updated 10 months 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 this week
- This is the repository for the transpiler to compile Verilog to C++ code with TFHE library.☆18Updated 5 years ago
- xv6のテキスト(book-rev6.pdf)を超適当翻訳してPDF 化したもの☆28Updated 12 years ago
- セキュリティミニキャンプ2019山梨 MC言語講義☆19Updated 4 years ago
- RISC-V documentation transrate to Japanese.☆73Updated 3 years ago
- A practical engine for Secure Multiparty Computation (SMPC).☆36Updated 2 months ago
- 電子書籍: x64 UEFI 対応 OS 自作入門 https://tenpoku1000.gitbook.io/tenpoku-book/☆50Updated 4 years ago
- セキュリティキャンプ 2022 Y4 RISC-V CPU自作ゼミ 講義資料☆29Updated last year
- CPU assembly examples☆86Updated last year
- ☆41Updated 7 years ago
- This software provides a reference code of the low-latency cryptographic permutation algorithm Areion.☆18Updated 5 months ago