Alternatives and similar repositories for initify

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

• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 6 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 5 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆12Updated 12 years ago
• ANSSI-FR / picon
  Picon
  ☆39Updated 8 years ago
• mirage / mirage-qubes
  Mirage support for writing QubesOS AppVM unikernels
  ☆63Updated 3 months ago
• ramosian-glider / clang-kernel-build
  Steps to build the Linux kernel using Clang
  ☆100Updated 3 years ago
• regehr / const_time
  empirical measurement of code constructs that seem like they should have constant execution time regardless of values of inputs
  ☆9Updated 9 years ago
• sysml / uniprof
  A stack tracer/profiler for Xen domains
  ☆30Updated 2 years ago
• cappsule / nofear
  Run any command transparently in a VM (this repo isn't part of Cappsule)
  ☆27Updated 8 years ago
• jyao1 / STM
  ☆70Updated 5 years ago
• markjdb / sysfuzz
  A prototype system call fuzzer.
  ☆14Updated 8 years ago
• minipli / linux-grsec
  Tracking grsecurity and PaX enabled kernels...
  ☆21Updated 8 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆28Updated 5 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆28Updated 7 years ago
• IllegalArgument / Huffman11
  Huffman decompression for version 11.x Intel ME modules
  ☆30Updated 7 years ago
• kvnesterov / IdaHaskell
  Allows to execute haskell code in Ida Pro.
  ☆27Updated 9 years ago
• google / capsicum-test
  Test suite for Capsicum
  ☆44Updated 7 months ago
• rrbranco / grsecurity-pax-history
  GrSecurity and PaX Patches Before End of Public Release
  ☆63Updated 6 years ago
• bx / elf-bf-tools
  ☆112Updated 11 years ago
• CTSRD-SOAAP / soaap
  Security-Oriented Analysis of Application Programs
  ☆13Updated 6 years ago
• intel / ikgt-manifest
  ikgt manifest
  ☆42Updated 2 years ago
• rumpkernel / fs-utils
  File System Access Utilities in Userland
  ☆77Updated 9 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆61Updated 8 years ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• programa-stic / ropc-llvm
  ropc-llvm is a PoC of a Turing complete ROP compiler with support for a subset of LLVM IR. It is an extension of ropc.
  ☆68Updated 11 years ago
• rudenoise / qemu-solo5-mirage-rpi3
  An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3
  ☆11Updated 9 years ago
• mirage / qubes-mirage-skeleton
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Updated 4 years ago
• falsecurity / cache-leak-detector
  Instruction cache leakage detection tool for modular exponentation software.
  ☆15Updated 8 years ago
• DynamoRIO / drk
  Dynamic instrumentation of the Linux kernel
  ☆40Updated 10 years ago