Alternatives and similar repositories for kvsp

Users that are interested in kvsp are comparing it to the libraries listed below

• virtualsecureplatform / TFHEpp
  Pure C++ Ver. of TFHE.
  ☆95Updated 2 weeks ago
• hello31337 / BI-SGX
  Bioinformatic Interpreter with Intel SGX
  ☆22Updated 5 years ago
• acompany-develop / QuickMPC
  A practical engine for Secure Multiparty Computation (SMPC).
  ☆33Updated 2 months ago
• aistcrypt / Lifted-ElGamal
  ☆27Updated 8 years ago
• NextMicon / NextMiconIDE
  🛠️ Graphical IDE for NextMicon
  ☆28Updated last year
• herumi / misc
  ☆61Updated 2 months ago
• atsisy / sloba
  Stacking List Oriented Basic Architecture Allocator
  ☆15Updated 6 years ago
• virtualsecureplatform / MitouDocument
  未踏応募書類と成果報告書
  ☆46Updated last year
• virtualsecureplatform / Iyokan
  Generic engine to evaluate logical circuits on homomorphic encryption
  ☆81Updated last year
• ciniml / seccamp_2022_riscv_cpu
  セキュリティキャンプ 2022 Y4 RISC-V CPU自作ゼミ 講義資料
  ☆29Updated 9 months ago
• megumish / animo
  WWWを再構築するぞ！！！
  ☆15Updated 6 years ago
• acompany-develop / Humane-RAFW
  Simple and clear sample code for Remote Attestation
  ☆10Updated 9 months ago
• gmo-ierae / low-latency-crypto-areion
  This software provides a reference code of the low-latency cryptographic permutation algorithm Areion.
  ☆18Updated 10 months ago
• VLSI-JP / VLSI-JP.github.io
  ☆24Updated 3 months ago
• junkurihara / lecture-security_engineering
  Slide decks and sample codes for a lecture of "Security Engineering", which are composed in terms of how to choose and deploy appropriate…
  ☆29Updated 2 months ago
• yamaguchi1024 / mc-lang-1
  セキュリティミニキャンプ2019山梨 MC言語講義
  ☆19Updated 4 years ago
• stmtk1 / first_prog
  初めて作ったプログラミング言語です
  ☆12Updated 6 years ago
• ainozaki / Repacket
  CLI tool to rewrite packet using XDP!
  ☆22Updated 3 years ago
• hsjoihs / c-compiler
  seccamp2018 c compiler
  ☆54Updated 2 years ago
• tanakamura / pllp
  ☆63Updated 2 years ago
• RKX1209 / c3
  The C3, SMT/SAT solver written in C.
  ☆34Updated 2 years ago
• virtualsecureplatform / V2TT
  This is the repository for the transpiler to compile Verilog to C++ code with TFHE library.
  ☆18Updated 5 years ago
• SoftwareFoundationGroupAtKyotoU / kuis-thesis-cover
  ☆17Updated 4 months ago
• caprese-project / caprese
  Caprese is a microkernel that protects resources with capability-based security.
  ☆17Updated last year
• proskenion / proskenion
  Blockchain project for creators.
  ☆27Updated 6 years ago
• shibatchii / RISC-V
  RISC-V documentation transrate to Japanese.
  ☆73Updated 3 years ago
• ushitora-anqou / write-your-llvm-backend
  手を動かせばできるLLVMバックエンド チュートリアル（WIP）
  ☆43Updated 3 years ago
• k-mrm / Pilevisor
  aarch64 thin hypervisor for resource aggregation
  ☆36Updated 2 months ago
• qnighy / ipc_solver
  O(N log N)-space IPC solver in OCaml
  ☆52Updated 2 years ago
• gfngfn / cs-thesis
  A SATySFi class file for writing CS master theses at The University of Tokyo
  ☆29Updated 6 years ago