Similar repositories to securesystemslab/hypervisor-super:
Bareflank/hypervisor_example_cpuidcount
github
similar
securesystemslab/hypervisor-super
github
similar
danistefanovic/build-your-own-x
github
similar
Bareflank/hypervisor_example_rdtsc
github
similar
Bareflank/hypervisor_example_vpid
github
similar
Bareflank/hypervisor_example_msr_bitmap
github
similar
raphaelsc/gdt-descriptor-decoder
github
similar
securesystemslab/multicompiler-clang
github
similar
Bareflank/hyperkernel
github
similar
ToruNiina/Boost.toml
github
similar
Bareflank/extended_apis_example_hook
github
similar
intel/ikgt-core
github
similar
Bareflank/extended_apis
github
similar
agra-uni-bremen/metaSMT
github
similar
int0/ProcessIsolator
github
similar
S2E/s2e-env
github
similar
ANSSI-FR/tabi
github
similar
adafruit/TV-B-Gone-kit
github
similar
merces/libpe
github
similar
Baron-von-Riedesel/HX
github
similar
securesystemslab/multicompiler
github
similar
lemire/despacer
github
similar
ansilove/BlockZone
github
similar
Frama-C/Frama-C-snapshot
github
similar
ainfosec/MoRE
github
similar
ansilove/Ascension
github
similar
sosy-lab/cpachecker
github
similar
SRI-CSL/gllvm
github
similar
cznic/golex
github
similar
julieeen/kleefl
github
similar
Cr4sh/fwexpl
github
similar
ilg-archived/openocd
github
similar
waxeye-org/waxeye
github
similar
jeffpar/kbarchive
github
similar
rocky/zshdb
github
similar
S2E/s2e
github
similar
IAIK/CJAG
github
similar
fhackenberger/ktikz
github
similar
thom311/libnl
github
similar
boostorg/spirit
github
similar