Popular repositories Loading

1. sgxbounds sgxbounds Public

   SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)

   C 33 10

2. FFQ FFQ Public

   FFQ: A Fast Single-Producer/Multiple-Consumer Concurrent FIFO Queue (IPDPS 2017)

   C 31 12

3. SpecFuzz SpecFuzz Public

   Forked from OleksiiOleksenko/SpecFuzz

   A tool to enable fuzzing for Spectre vulnerabilities

   C++ 30 2

4. intel_mpx_explained intel_mpx_explained Public

   Experimental setup of "Intel MPX explained"

   C 26 3

5. fex fex Public

   Fex: A Software Systems Evaluator

   C 10 4

6. haft haft Public

   Hardware Assisted Fault Tolerance (HAFT)

   C 5 5