☆30Jun 7, 2023Updated 2 years ago
Alternatives and similar repositories for sage
Users that are interested in sage are comparing it to the libraries listed below
Sorting:
- ☆26Dec 22, 2024Updated last year
- ☆14Sep 17, 2024Updated last year
- The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).☆41Jun 5, 2023Updated 2 years ago
- ☆28Mar 4, 2025Updated 11 months ago
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- TAOISM: A TEE-based Confidential Heterogeneous Deployment Framework for DNN Models☆50Apr 11, 2024Updated last year
- ☆11Aug 10, 2021Updated 4 years ago
- Linux kernel SGX driver for Graphene☆12Nov 3, 2020Updated 5 years ago
- A Symbolic Emulator for Shuffle Synthesis on the NVIDIA PTX Code☆15Mar 19, 2023Updated 2 years ago
- A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches☆15Jun 21, 2019Updated 6 years ago
- OP-TEE Trusted Applications vulnerable to memory corruption bugs.☆16Jul 3, 2020Updated 5 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- ☆16May 22, 2023Updated 2 years ago
- Ancillary open source software to support confidential computing on NVIDIA GPUs☆301Jan 24, 2026Updated last month
- ☆75Apr 18, 2025Updated 10 months ago
- ☆46Feb 13, 2026Updated 2 weeks ago
- ☆21Sep 7, 2022Updated 3 years ago
- Artefacts for: "VMScape: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments"☆36Oct 17, 2025Updated 4 months ago
- Performance Prediction Toolkit☆56Sep 13, 2025Updated 5 months ago
- A GPU-accelerated DNN inference serving system that supports instant kernel preemption and biased concurrent execution in GPU scheduling.☆43May 29, 2022Updated 3 years ago
- ☆20Mar 10, 2022Updated 3 years ago
- Process Orchestration Framework: A camunda 7 fork☆21Feb 23, 2026Updated last week
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆17Feb 22, 2025Updated last year
- Streamline Covert Channel Attack (presented in ASPLOS'21)☆22Feb 18, 2021Updated 5 years ago
- PoC for PixieFail vulnerabilities☆26Jan 12, 2024Updated 2 years ago
- The Intel® Software Guard Extensions Enclave Memory Manager is a module designed to manage dynamic memory within an SGX runtime.☆29Jan 13, 2026Updated last month
- ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆28Apr 15, 2023Updated 2 years ago
- VANS: A validated NVRAM simulator☆27Nov 22, 2023Updated 2 years ago
- ☆23Jun 23, 2023Updated 2 years ago
- A library OS for Linux multi-process applications, with Intel SGX support☆749Updated this week
- Open-source release of "Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud" (ASPLOS '24)☆33Feb 13, 2026Updated 2 weeks ago
- Pythia is a set of RDMA-based remote side-channel attacks. USENIX Security 2019.☆30Oct 24, 2020Updated 5 years ago
- ☆26Nov 16, 2023Updated 2 years ago
- ☆43Oct 20, 2025Updated 4 months ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆23Jun 14, 2025Updated 8 months ago
- ☆23Dec 30, 2025Updated 2 months ago
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆33May 3, 2024Updated last year
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆33Apr 6, 2022Updated 3 years ago
- A repository that compliments gpgpu-sim, providing automated regression scripts, simulation launching utilities and the code + arguments …☆75Aug 22, 2020Updated 5 years ago