Alternatives and similar repositories for ov-secure-kernel:

Users that are interested in ov-secure-kernel are comparing it to the libraries listed below

• avk7vk / arm-trustzone
  Trust Zone Project
  ☆21Updated 10 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆13Updated 11 years ago
• jowinter / qemu-trustzone
  Experimental version of QEMU with basic support for ARM TrustZone (security extensions)
  ☆84Updated 11 years ago
• finallyjustice / liboot-tz
  TrustZone project with Linux 2.6.35 and U-Boot (i.MX53QSB)
  ☆8Updated 10 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆41Updated 3 years ago
• DynamoRIO / drk
  Dynamic instrumentation of the Linux kernel
  ☆41Updated 9 years ago
• columbia / libtrack
  Library wrapper and system-level tracing utilities
  ☆46Updated 7 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆26Updated 4 years ago
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 5 years ago
• avadhpatel / marss
  PTLsim and QEMU based Computer Architecture Research Simulator
  ☆129Updated 2 years ago
• nestedkernel / PerspicuOS
  This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…
  ☆55Updated 7 years ago
• utds3lab / hypershell
  ☆11Updated 9 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• kesl / khypervisor
  ☆28Updated 8 years ago
• deater / perf_event_tests
  Test suite for the Linux perf_event subsystem
  ☆111Updated 3 months ago
• ComputerSystemLab / hqemu
  An Efficient and Retargetable Dynamic Binary Translator on Multicores
  ☆31Updated 5 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆59Updated 7 years ago
• koukaipan / xen-examples
  Making the examples code of "The Definitive Guide to the Xen Hypervisor" work with Xen-4.2 or above
  ☆33Updated 11 years ago
• prplfoundation / prpl-hypervisor
  prplHypervisor™
  ☆31Updated 7 years ago
• gtcasl / qsim
  QEMU based emulation library for micro-architectural simulation (ARM64 and x86)
  ☆40Updated 5 years ago
• lgeek / arm_tlb_huge_pages
  ☆31Updated 7 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 6 years ago
• jyao1 / STM
  ☆70Updated 4 years ago
• rhdrjones / kvm-unit-tests
  Unit tests for the kernel virtual machine (KVM)
  ☆14Updated 4 years ago
• elfmaster / binflow
  This is the new ftrace (https://github.com/elfmaster/ftrace) - Much faster, better resolution but not complete yet! :)
  ☆107Updated 6 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆95Updated 8 years ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆51Updated 5 years ago
• jieyu / maple
  A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…
  ☆69Updated 7 years ago
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆105Updated 2 years ago
• santoshn / softboundcets-34
  SoftBoundCETS for LLVM+Clang version 34
  ☆57Updated 10 years ago