Alternatives and similar repositories for DreamyOS-seL4-Operating-System-AOS

Users that are interested in DreamyOS-seL4-Operating-System-AOS are comparing it to the libraries listed below

• chillancezen / ZeldaOS.x86_64
  64bit bare metal hypervisor built from scratch with Intel VT-x
  ☆94Updated 4 years ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆47Updated 4 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 5 years ago
• bx / elf-bf-tools
  ☆112Updated 11 years ago
• blitz / baresifter
  A bare-metal x86 instruction set fuzzer a la Sandsifter
  ☆70Updated last year
• 0xcl / clang-cfi-bypass-techniques
  Exploitation techniques to bypass Clang CFI when applied to Chromium
  ☆112Updated 7 years ago
• HexHive / libdetox
  Fast and efficient binary translator
  ☆58Updated 6 years ago
• gamozolabs / fuzz_with_emus
  Why fuzzing with emulators is amazing
  ☆138Updated 4 years ago
• S2E / libtcg
  Tiny Code Generator Library
  ☆46Updated 4 years ago
• ashwio / arm64-hypervisor-tutorial
  ☆106Updated 6 years ago
• gamozolabs / falkervisor_beta
  ☆74Updated 4 years ago
• KVM-VMI / kvm
  Fork of KVM with Virtual Machine Introspection patches
  ☆36Updated last year
• pagabuc / gfree
  Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries
  ☆95Updated 6 years ago
• TUD-OS / libelkvm
  A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system
  ☆22Updated 10 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• jyao1 / STM
  ☆70Updated 5 years ago
• kaist-hacking / HardsHeap
  HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators
  ☆36Updated 3 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆38Updated 5 years ago
• awailly / nrop
  Automated Return-Oriented Programming Chaining
  ☆85Updated 8 years ago
• HexHive / EPOXY
  Root Repo for the EPOXY tool that applies Privilege Overlays on bare-metal systems
  ☆33Updated 8 years ago
• shubham0d / ProtoVirt
  An ongoing attempt to create own hypervisior from scratch in linux.
  ☆49Updated 3 years ago
• AFLplusplus / AFL-Snapshot-LKM
  A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.
  ☆138Updated 3 years ago
• lifting-bits / fennec
  Rewriting functions in compiled binaries using McSema
  ☆89Updated 5 years ago
• b17fr13nds / lxfuzz
  lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…
  ☆22Updated 11 months ago
• iankronquist / rustyvisor
  A hypervisor written in Rust.
  ☆120Updated 3 years ago
• frestr / armshaker
  Processor fuzzer targeting the Armv8-A ISA
  ☆60Updated 2 years ago
• kesl / khypervisor
  ☆29Updated 9 years ago
• vusec / dangsan
  ☆64Updated 4 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• zznop / bn-kconfig-recover
  Automated recovery of Linux kernel build configurations
  ☆24Updated 3 years ago