Alternatives and similar repositories for kvsp

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

• hello31337 / BI-SGX
  Bioinformatic Interpreter with Intel SGX
  ☆23Updated 5 years ago
• virtualsecureplatform / MitouDocument
  未踏応募書類と成果報告書
  ☆47Updated last year
• shioyadan / advanced-computer-organization
  ☆162Updated last year
• megumish / animo
  WWWを再構築するぞ！！！
  ☆15Updated 7 years ago
• NextMicon / NextMiconIDE
  🛠️ Graphical IDE for NextMicon
  ☆28Updated last year
• yamaguchi1024 / mc-lang-1
  セキュリティミニキャンプ2019山梨 MC言語講義
  ☆19Updated 4 years ago
• caprese-project / caprese
  Caprese is a microkernel that protects resources with capability-based security.
  ☆18Updated last year
• atsisy / sloba
  Stacking List Oriented Basic Architecture Allocator
  ☆15Updated 6 years ago
• tanakamura / pllp
  ☆63Updated 2 years ago
• msyksphinz-self / xv6_translate
  translation of XV6
  ☆49Updated 6 years ago
• shibatchii / RISC-V
  RISC-V documentation transrate to Japanese.
  ☆73Updated 3 years 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 5 months ago
• sozysozbot / 2kmcc
  ☆29Updated 2 years ago
• hsjoihs / c-compiler
  seccamp2018 c compiler
  ☆56Updated 3 years ago
• ciniml / seccamp_2022_riscv_cpu
  セキュリティキャンプ 2022 Y4 RISC-V CPU自作ゼミ 講義資料
  ☆29Updated last year
• herumi / misc
  ☆61Updated 2 weeks ago
• acompany-develop / QuickMPC
  A practical engine for Secure Multiparty Computation (SMPC).
  ☆35Updated last month
• hiromi-mi / hanando-fukui
  Self-hosted Subset of C/C++ Compiler
  ☆12Updated 5 years ago
• herumi / blog
  ☆38Updated 2 weeks ago
• RKX1209 / c3
  The C3, SMT/SAT solver written in C.
  ☆34Updated 3 weeks ago
• Alignof / carron
  rv32/64imac emulator
  ☆32Updated last year
• devreplay / devreplay
  A linter that replays your developing style
  ☆46Updated last year
• gmo-ierae / low-latency-crypto-areion
  This software provides a reference code of the low-latency cryptographic permutation algorithm Areion.
  ☆18Updated 2 months ago
• horizon2038 / A9N
  A9N is a Capability-Based Microkernel in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.
  ☆47Updated last week
• SoftwareFoundationGroupAtKyotoU / kuis-thesis-cover
  ☆17Updated 7 months ago
• peta-okechan / xv6textjp
  xv6のテキスト(book-rev6.pdf)を超適当翻訳してPDF化したもの
  ☆28Updated 12 years ago
• ushitora-anqou / write-your-llvm-backend
  手を動かせばできるLLVMバックエンド チュートリアル（WIP）
  ☆43Updated 3 years ago
• YouyouCong / ppl-summer-school-2022
  ☆24Updated 2 years ago
• alphaKAI / cr0cd
  CR0.CD manipulate Linux Kernel Module as a proc filesystem
  ☆19Updated 6 years ago
• d0iasm / vulbr
  Toy browser on single process / thread
  ☆32Updated 3 years ago