virtualsecureplatform / kvsp
A VSP; run your encrypted C code AS IS!
☆115Updated 3 years ago
Alternatives and similar repositories for kvsp:
Users that are interested in kvsp are comparing it to the libraries listed below
- Pure C++ Ver. of TFHE.☆91Updated last week
- A practical engine for Secure Multiparty Computation (SMPC).☆33Updated last week
- Bioinformatic Interpreter with Intel SGX☆22Updated 4 years ago
- 未踏応募書類と成果報告書☆46Updated last year
- 🛠️ Graphical IDE for NextMicon☆28Updated last year
- セキュリティキャンプ 2022 Y4 RISC-V CPU自作ゼミ 講義資料☆28Updated 7 months ago
- ☆22Updated last month
- Stacking List Oriented Basic Architecture Allocator☆15Updated 6 years ago
- Generic engine to evaluate logical circuits on homomorphic encryption☆81Updated last year
- Slide decks and sample codes for a lecture of "Security Engineering", which are composed in terms of how to choose and deploy appropriate…☆28Updated 3 weeks ago
- This software provides a reference code of the low-latency cryptographic permutation algorithm Areion.☆18Updated 8 months ago
- ☆26Updated 8 years ago
- ☆61Updated 2 weeks ago
- ☆28Updated 2 years ago
- seccamp2018 c compiler☆53Updated 2 years ago
- WWWを再構築するぞ!!!☆15Updated 6 years ago
- ☆156Updated 6 months ago
- セキュリティ・キャンプ 2022-2024 RISC-V CPU自作ゼミ 資料置き場☆37Updated 3 months ago
- ☆15Updated 5 years ago
- ☆63Updated last year
- セキュリティミニキャンプ2019山梨 MC言語講義☆19Updated 4 years ago
- coq-tutorial☆16Updated 5 years ago
- rv32/64imac emulator☆31Updated 7 months ago
- This is the repository for the transpiler to compile Verilog to C++ code with TFHE library.☆18Updated 4 years ago
- bittn compiler infrastructure☆11Updated 4 years ago
- Caprese is a microkernel that protects resources with capability-based security.☆17Updated last year
- ☆17Updated 2 months ago
- アスキードワンゴで出版予定の構文解析本に関するリポジトリ☆116Updated 3 weeks ago
- compiler, llvm☆36Updated 6 years ago
- translation of XV6☆49Updated 6 years ago