hxuhack / course_safepl
Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University
☆16Updated last year
Alternatives and similar repositories for course_safepl:
Users that are interested in course_safepl are comparing it to the libraries listed below
- Rust Analysis Platform☆48Updated last week
- ☆53Updated last year
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆16Updated 6 months ago
- A formally verified security module for AMD confidential VMs☆36Updated 3 months ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆23Updated last month
- ☆18Updated 2 weeks ago
- A verified library of synchronization primitives and concurrent data structures☆26Updated this week
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台☆203Updated 2 years ago
- ☆13Updated last year
- 项目的主仓库☆23Updated 2 years ago
- A repo to store the compiler project☆73Updated 2 years ago
- ☆18Updated this week
- 面向可信执行环境的OS。☆12Updated 2 years ago
- ☆142Updated 8 months ago
- HyperEnclave is an open and cross-platform trusted execution environment.☆34Updated last week
- Coffer is a RISC-V trusted execution environment developed in Rust.☆20Updated 2 years ago
- Implementation of the Reusable Enclaves paper☆12Updated last year
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated 9 months ago
- Lists of must-read papers (mainly security papers)☆28Updated 4 months ago
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified…☆38Updated this week
- Next-Gen Occlum, a work-in-progress fork of Occlum that is optimized for the next-generation of Intel SGX (on Xeon SP processors)☆33Updated last year
- The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).☆37Updated last year
- Official page for 18-847C (Spring '22): Data Center Computing☆17Updated 2 years ago
- A randomized program fuzzer for the Rust programming language☆62Updated last year
- understanding the safety of Rust☆95Updated 4 years ago
- mirror of https://github.com/rcore-os/rCore-Tutorial-Book-v3☆19Updated last year
- A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆52Updated last month
- A Pointer Analysis Framework for Rust☆46Updated last month
- Framework of pa code for THU compiler principle course.☆13Updated 5 years ago
- ☆30Updated last year