shenqili / Yishuwang

Related projects ⓘ

Alternatives and complementary repositories for Yishuwang

• SOFAEnclave / trusted-function-framework
  A TEE programming framework based on trusted functions.
  ☆14Updated 3 years ago
• dpankratz / TVMFuzz
  TVMFuzz: fuzzing tensor-level intermediate representation in TVM
  ☆29Updated 4 years ago
• petablox / arbitrar
  User Guided API Misuse Detection
  ☆27Updated last year
• Penglai-Enclave / Penglai-Enclave-TVM
  The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).
  ☆37Updated last year
• sslab-gatech / RoboFuzz
  Fuzzing framework for Robot Operating System (ROS) and ROS-based robotic systems
  ☆15Updated last year
• abcdabcd987 / distributed-consensus-simulator
  ☆14Updated 7 years ago
• Cyphysecurity / SAVIOR
  ☆20Updated 4 years ago
• surrealyz / verified-global-properties
  Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf
  ☆26Updated 2 years ago
• mustakimur / OS-CFI
  Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019
  ☆37Updated 2 years ago
• eth-sri / learch
  ☆38Updated last year
• lsds / Teechain
  Teechain: A Secure Payment Network with Asynchronous Blockchain Access
  ☆51Updated 5 years ago
• bin2415 / llvm_CFGPass
  llvm control flow graph
  ☆26Updated 5 years ago
• IoTAccessControl / RapidPatch
  A general cross-architecture C/C++ hotpatch solution using customized userspace eBPF runtime. One patch release can fix the same vulnera…
  ☆25Updated last year
• xiongyingfei / xiongyingfei.github.io
  ☆75Updated last week
• Penglai-Enclave / Penglai-Enclave
  This is the main repo for Penglai.
  ☆65Updated last year
• epfl-dcsl / gotee
  ☆25Updated 4 years ago
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 5 years ago
• LeoneChen / SGX-SEF
  ☆14Updated 3 years ago
• adrianherrera / llvm-cfg-to-json
  Exports an LLVM control flow graph (CFG) (including function calls) to JSON
  ☆23Updated 2 years ago
• ya0guang / PoBF
  Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.
  ☆18Updated last year
• OSUSecLab / vSGX
  The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper
  ☆52Updated last year
• SSGAalto / sgx-migration
  A library and an application to provide migratable primitives for SGX enclaves.
  ☆22Updated 4 years ago
• HexHive / pubstats
  ☆27Updated 2 months ago
• vul337 / cfi-eval
  ☆20Updated 4 years ago
• StanPlatinum / Deflection
  Derived from CAT-SGX and elf-respect: Practical and Efficient in-Enclave Verification of Privacy Compliance
  ☆41Updated 2 years ago
• jasonyu1996 / elasticlave
  ☆21Updated last year
• WUSTL-CSPL / RT-TEE
  ☆24Updated last year
• ratel-enclave / ratel
  Ratel - a new framework for instruction-level interposition on enclaved applications
  ☆21Updated last year
• ganler / memcov
  Collect simple coverage information in memory.
  ☆11Updated 2 years ago
• Open-TEE / project
  Overall project configuration and documentation
  ☆81Updated 2 years ago