ephox-gcc-plugins / initify

Related projects ⓘ

Alternatives and complementary repositories for initify

• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 5 years ago
• jyao1 / STM
  ☆70Updated 4 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆13Updated 11 years ago
• ANSSI-FR / picon
  Picon
  ☆38Updated 7 years ago
• minipli / linux-grsec
  Tracking grsecurity and PaX enabled kernels...
  ☆21Updated 7 years ago
• kvnesterov / IdaHaskell
  Allows to execute haskell code in Ida Pro.
  ☆27Updated 8 years ago
• IllegalArgument / Huffman11
  Huffman decompression for version 11.x Intel ME modules
  ☆30Updated 7 years ago
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆18Updated 5 years ago
• skochinsky / jeff-tools
  JEFF file format tools
  ☆27Updated 8 years ago
• ramosian-glider / clang-kernel-build
  Steps to build the Linux kernel using Clang
  ☆99Updated 2 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆45Updated 5 years ago
• IAIK / KAISER
  Kernel Address Isolation to have Side-channels Efficiently Removed
  ☆214Updated 2 years ago
• cappsule / nofear
  Run any command transparently in a VM (this repo isn't part of Cappsule)
  ☆27Updated 7 years ago
• termite2 / Termite
  The Termite driver synthesis tool
  ☆32Updated 7 years ago
• intel / ikgt-manifest
  ikgt manifest
  ☆42Updated 2 years ago
• mirage / mirage-qubes
  Mirage support for writing QubesOS AppVM unikernels
  ☆63Updated 2 months ago
• sysml / uniprof
  A stack tracer/profiler for Xen domains
  ☆30Updated 2 years ago
• hardenedapple / gdb-walkers
  Bring mdb walkers to gdb, also add other helpful commands.
  ☆33Updated this week
• falsecurity / cache-leak-detector
  Instruction cache leakage detection tool for modular exponentation software.
  ☆14Updated 7 years ago
• cappsule / cappsule-hypervisor
  ☆85Updated 7 years ago
• retrage / elvm
  EsoLangVM Compiler Infrastructure
  ☆11Updated 3 months ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 7 years ago
• finallyjustice / liboot-tz
  TrustZone project with Linux 2.6.35 and U-Boot (i.MX53QSB)
  ☆8Updated 9 years ago
• IAIK / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• StanfordPL / strata-data
  Experimental results of the strata project
  ☆9Updated 8 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
• lovasko / libctf
  BSD-licensed CTF Implementation
  ☆20Updated 9 years ago
• bx / elf-bf-tools
  ☆110Updated 10 years ago
• MEM-AEAD / mem-aead
  Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction
  ☆27Updated 6 years ago