virtualsecureplatform / kvsp
A VSP; run your encrypted C code AS IS!
☆114Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for kvsp
- Pure C++ Ver. of TFHE.☆83Updated 3 weeks ago
- 未踏応募書類と成果報告書☆42Updated 9 months ago
- Bioinformatic Interpreter with Intel SGX☆22Updated 4 years ago
- Generic engine to evaluate logical circuits on homomorphic encryption☆80Updated 8 months ago
- A practical engine for Secure Multiparty Computation (SMPC).☆32Updated this week
- ☆26Updated 8 years ago
- Stacking List Oriented Basic Architecture Allocator☆15Updated 5 years ago
- WWWを再構築するぞ!!!☆15Updated 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…☆26Updated this week
- seccamp2018 c compiler☆53Updated 2 years ago
- This software provides a reference code of the low-latency cryptographic permutation algorithm Areion.☆17Updated 4 months ago
- ☆150Updated 2 months ago
- ☆59Updated 3 weeks ago
- ☆20Updated 7 months ago
- セキ ュリティミニキャンプ2019山梨 MC言語講義☆19Updated 3 years ago
- ☆27Updated last year
- 🛠️ Graphical IDE for NextMicon☆26Updated 9 months ago
- Self-hosted Subset of C/C++ Compiler☆12Updated 4 years ago
- translation of XV6☆49Updated 6 years ago
- The C3, SMT/SAT solver written in C.☆34Updated 2 years ago
- 手を動かせばできるLLVMバックエンド チュートリアル(WIP)☆44Updated 2 years ago
- A didactic on-disk key-value database management system.☆63Updated 3 years ago
- ☆61Updated last year
- ☆37Updated this week
- aarch64 thin hypervisor for resource aggregation☆32Updated last year
- coq-tutorial☆16Updated 5 years ago
- ☆24Updated 2 years ago
- Toy browser on single process / thread☆32Updated 2 years ago
- RISC-V documentation transrate to Japanese.☆73Updated 2 years ago
- rv32/64imac emulator☆31Updated 2 months ago