Alternatives and similar repositories for initify

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

• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆12Updated 12 years ago
• linux-scraping / linux-grsecurity
  grsecurity is the most advanced Linux kernel hardening patchset. This repository, not affiliated with the upstream project, aggregate mos…
  ☆86Updated 8 years ago
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 6 years ago
• ramosian-glider / clang-kernel-build
  Steps to build the Linux kernel using Clang
  ☆101Updated 3 years ago
• ANSSI-FR / picon
  Picon
  ☆39Updated 8 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 5 years ago
• jyao1 / STM
  ☆70Updated 5 years ago
• thestinger / paxd
  PaX exception daemon - Temporarily abandoned due to the PaX and grsecurity patches becoming private
  ☆41Updated 8 years ago
• intel / ikgt-manifest
  ikgt manifest
  ☆42Updated 2 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 8 years ago
• kvnesterov / IdaHaskell
  Allows to execute haskell code in Ida Pro.
  ☆27Updated 9 years ago
• rrbranco / grsecurity-pax-history
  GrSecurity and PaX Patches Before End of Public Release
  ☆64Updated 7 years ago
• lmrs2 / secretgrind
  Secretgrind: a Valgrind analysis tool to detect secrets in memory
  ☆61Updated 8 years ago
• regehr / const_time
  empirical measurement of code constructs that seem like they should have constant execution time regardless of values of inputs
  ☆8Updated 9 years ago
• hardenedlinux / grsecurity-reproducible-build
  Some scripts to create a reproducible build for grsecurity
  ☆31Updated 7 years ago
• skochinsky / jeff-tools
  JEFF file format tools
  ☆27Updated 9 years ago
• minipli / linux-grsec
  Tracking grsecurity and PaX enabled kernels...
  ☆22Updated 8 years ago
• sysml / uniprof
  A stack tracer/profiler for Xen domains
  ☆30Updated 2 years ago
• isec-tugraz / KAISER
  Kernel Address Isolation to have Side-channels Efficiently Removed
  ☆223Updated 3 years ago
• CTSRD-SOAAP / soaap
  Security-Oriented Analysis of Application Programs
  ☆13Updated 6 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆206Updated 5 years ago
• minipli / linux-unofficial_grsec
  Unofficial forward ports of the last publicly available grsecurity patch
  ☆152Updated 6 years ago
• taviso / dbusmap
  This is a simple utility for enumerating D-Bus endpoints, an nmap for D-Bus.
  ☆78Updated 5 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 8 years ago
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆186Updated 8 years ago
• IllegalArgument / Huffman11
  Huffman decompression for version 11.x Intel ME modules
  ☆30Updated 7 years ago
• mit-ll / LO-PHI
  Low-Observable Physical Host Instrumentation: A suite of tools supporting introspection and semantic gap reconstruction for both physical…
  ☆30Updated 9 years ago
• isec-tugraz / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• rumpkernel / fs-utils
  File System Access Utilities in Userland
  ☆77Updated 9 years ago
• nccgroup / TriforceOpenBSDFuzzer
  System call fuzzing of OpenBSD amd64 using TriforceAFL (i.e. AFL and QEMU)
  ☆46Updated 7 years ago