The Systems Security Group at University of Minnesota

Popular repositories Loading

1. crix crixPublic

   Detect missing check bugs in OS kernels

   C++ 117 33

2. mlta mltaPublic

   TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets

   C++ 103 28

3. cheq cheqPublic

   CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs

   C++ 45 6

4. typm typmPublic

   C++ 37 9

5. linux-bitcode linux-bitcodePublic

   Pre-built bitcode files for the Linux kernel

   LLVM 22 3

6. ndi ndiPublic

   Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs

   C++ 16 1