Alternatives and similar repositories for BI-SGX:

Users that are interested in BI-SGX are comparing it to the libraries listed below

• RIKEN-RCCS / MilvusVisor
  A thin-hypervisor that runs on aarch64 CPUs.
  ☆94Updated last month
• virtualsecureplatform / kvsp
  A VSP; run your encrypted C code AS IS!
  ☆115Updated 3 years ago
• acompany-develop / QuickMPC
  A practical engine for Secure Multiparty Computation (SMPC).
  ☆33Updated last week
• atsisy / sloba
  Stacking List Oriented Basic Architecture Allocator
  ☆15Updated 6 years ago
• kunisuzaki / misc
  misc
  ☆12Updated 9 years ago
• morimolymoly / hypervisor-notes
  hypervisorなmemo
  ☆12Updated 5 years ago
• utshina / VMXbench
  A UEFI application that measures the number of cycles involved in a VM entry/exit
  ☆29Updated 7 years ago
• PG-MANA / Methylenix
  The operating system written in Rust
  ☆50Updated last week
• akawashiro / ros3fs
  ros3fs is a Linux FUSE adapter for AWS S3 and S3 compatible object storages.
  ☆14Updated last year
• LayerXcom / confidential-computing-modules
  A Module for Privacy-preserving State Transitions with Verifiability
  ☆90Updated 2 years ago
• ushitora-anqou / write-your-llvm-backend
  手を動かせばできるLLVMバックエンド チュートリアル（WIP）
  ☆43Updated 2 years ago
• aistcrypt / Lifted-ElGamal
  ☆26Updated 8 years ago
• megumish / animo
  WWWを再構築するぞ！！！
  ☆15Updated 6 years ago
• RKX1209 / c3
  The C3, SMT/SAT solver written in C.
  ☆34Updated 2 years ago
• elliptic-shiho / ecpy
  A pairing library of elliptic curve
  ☆60Updated last year
• msyksphinz-self / dydra
  ☆30Updated last year
• syuu1228 / howto_implement_hypervisor
  Software Design誌の連載「ハイパーバイザの作り方」の原稿公開用リポジトリ
  ☆215Updated 6 years ago
• gmo-ierae / low-latency-crypto-areion
  This software provides a reference code of the low-latency cryptographic permutation algorithm Areion.
  ☆18Updated 8 months ago
• seccamp2018-tls13 / seccamp2018-tls13
  XII : TLS1.3/暗号ゼミ [全国大会2018-集中開発コース]
  ☆15Updated 6 years ago
• virtualsecureplatform / MitouDocument
  未踏応募書類と成果報告書
  ☆46Updated last year
• acompany-develop / Humane-RAFW
  Simple and clear sample code for Remote Attestation
  ☆10Updated 7 months ago
• 4ge32 / aeon
  AEON is an In-place file system designed for non-volatile memories.
  ☆15Updated 5 years ago
• horizon2038 / A9N
  A9N is a Capability-Based Microkernel in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.
  ☆33Updated 2 weeks ago
• ntddk / angr-doc-ja
  ☆10Updated 8 years ago
• alphaKAI / cr0cd
  CR0.CD manipulate Linux Kernel Module as a proc filesystem
  ☆19Updated 5 years ago
• KernelAnalysisPlatform / KlareDbg
  Kernel debugger using Timeless Debugging method.
  ☆72Updated 8 years ago
• task4233 / malgrapher
  makecfg is a tool for making CFG(Control Flow Graph) from binary.
  ☆18Updated 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…
  ☆28Updated 3 weeks ago
• lmt-swallow / rvvisor
  [WIP] A tiny RISC-V hypervisor software written in Rust
  ☆27Updated 4 years ago
• RKX1209 / bitvisor-gdb
  gdbserver implementation on BitVisor
  ☆25Updated 7 years ago