ssrg-vt/kite ssrg-vt/kite

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    C
  • License
    Other
  • Created almost 3 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ssrg-vt/kite
github

ssrg-vt

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

hermitux

A binary-compatible unikernel
C
393
star
2

popcorn-kernel

Popcorn Linux kernel for distributed thread execution
C
156
star
3

popcorn-compiler

Popcorn Linux compiler toolchain for heterogeneous-ISA execution
C
41
star
4

hermitux-kernel

C
33
star
5

SlimGuard

A Secure and Memory-Efficient Heap Allocator
C++
29
star
6

FoxDec

Formally verified x86-64 decompilation
HTML
11
star
7

Chum-src

C
7
star
8

librettos-src

LibrettOS: A Dynamically Adaptable Multiserver-Library OS
7
star
9

renee-artifacts

C
5
star
10

popcorn-chameleon

Secure Popcorn Linux runtime state transformation framework
C++
4
star
11

TransProc

Transform the CRIU image between different architectures for vanilla code.
C
4
star
12

popcorn-openmp

A collection of OpenMP applications ported from other benchmark suites for use with Popcorn Linux
C
3
star
13

NFM_2021

Assembly
3
star
14

aira

Automatic Instrumentation for Resource Adjustment (AIRA) framework
C++
3
star
15

n3350_pacman

Case Study to demonstrate ARM-style PAC on Intel's Goldmont CPU with the help of micro-code patching.
Python
3
star
16

mklinux

Old Popcorn Linux kernel
C
2
star
17

DynaCut

DynaCut: Dynamic and Adaptive Code Customization with Process Rewriting.
C
2
star
18

popcorn-xen-wiki

1
star
19

mklinux-ft

C
1
star
20

sail2pvs

Python
1
star
21

HeterSec

Source code for the HeterSec project.
C
1
star
22

Luce-src

Isabelle
1
star
23

MonGuard

Artifact of the MonGuard pape (EuroSec'20)
C
1
star
24

numa-stm

NUMA STM
C
1
star
25

popcorn-kernel-lib

Userspace tools for Popcorn rack
C
1
star
26

hermitux-toolchain

Shell
1
star
27

ebpf-fuzzer

A fuzzer for Linux eBPF module; build on top of LKL
C
1
star