☆13Aug 18, 2025Updated 6 months ago
Alternatives and similar repositories for PKUWA
Users that are interested in PKUWA are comparing it to the libraries listed below
Sorting:
- This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…☆11Nov 4, 2022Updated 3 years ago
- Implementation of the Arm CCA attestation token in Rust☆13Sep 23, 2025Updated 5 months ago
- ☆15Jul 18, 2023Updated 2 years ago
- ☆13Apr 9, 2022Updated 3 years ago
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆18Sep 30, 2024Updated last year
- A fuzzer setup to fuzz libc functions.☆16Aug 30, 2022Updated 3 years ago
- ☆14Aug 17, 2024Updated last year
- A toy implementation about Program Dependence Graph using LLVM☆13Sep 27, 2023Updated 2 years ago
- ☆16Nov 13, 2023Updated 2 years ago
- Tests for verifying compliance of RMM implementations☆21Sep 22, 2025Updated 5 months ago
- What if everything is a io_uring?☆17Nov 10, 2022Updated 3 years ago
- ☆16May 22, 2023Updated 2 years ago
- Securing Data Analytics on Intel SGX using Randomization☆13Aug 30, 2017Updated 8 years ago
- ☆12Jun 10, 2023Updated 2 years ago
- 面向可信执行环境的OS。☆12May 9, 2025Updated 9 months ago
- ☆14Nov 7, 2025Updated 3 months ago
- caijiqhx notes☆17Oct 26, 2024Updated last year
- ☆31Jun 14, 2023Updated 2 years ago
- ☆20Sep 8, 2025Updated 5 months ago
- Forked from tf-rmm@trustedfirmware, support QEMU platform. Check wiki for instruction. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆21Apr 15, 2023Updated 2 years ago
- ☆12Sep 13, 2023Updated 2 years ago
- ☆19Jan 8, 2019Updated 7 years ago
- Low level attester and verifier drivers for multiple TEEs☆26May 30, 2024Updated last year
- ☆20Mar 10, 2022Updated 3 years ago
- ☆21Apr 15, 2022Updated 3 years ago
- ☆22Nov 12, 2020Updated 5 years ago
- ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆28Apr 15, 2023Updated 2 years ago
- Operating system based off of blog_os, with the goal of running wasm modules as executables☆24Mar 29, 2023Updated 2 years ago
- Contextualizing System Calls in Containers for Anomaly-Based Intrusion Detection (CHIDS) - CCSW'22☆24May 15, 2023Updated 2 years ago
- BREWasm: A general purpose static binary rewriting framework for Wasm.☆24Nov 28, 2024Updated last year
- Verified Wasm runtime☆30Oct 30, 2023Updated 2 years ago
- ☆23Jun 14, 2023Updated 2 years ago
- Compile eBPF program with GitHub Actions and Run locally in one line!☆30Mar 25, 2023Updated 2 years ago
- 项目的主仓库☆26Sep 11, 2022Updated 3 years ago
- Secure Aggregation for Federated Learning with Malicious Actors☆28Dec 6, 2022Updated 3 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆31May 10, 2023Updated 2 years ago
- Demo host and enclave applications exercising most functionality.☆32Jun 12, 2023Updated 2 years ago
- WaTZ: A Trusted WebAssembly Runtime Environment with Remote Attestation for TrustZone.☆32May 23, 2024Updated last year
- ☆38Aug 6, 2022Updated 3 years ago