☆31Jun 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Sep 17, 2024Updated last year
- TAOISM: A TEE-based Confidential Heterogeneous Deployment Framework for DNN Models☆52Apr 11, 2024Updated 2 years ago
- ☆28Dec 22, 2024Updated last year
- ☆47Feb 13, 2026Updated 2 months ago
- The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).☆42Jun 5, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Linux kernel SGX driver for Graphene☆12Nov 3, 2020Updated 5 years ago
- ☆79Apr 18, 2025Updated last year
- ☆28Mar 4, 2025Updated last year
- ☆21Sep 7, 2022Updated 3 years ago
- Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.☆36May 26, 2023Updated 2 years ago
- This is the official implementation of NNSplitter (ICML'23)☆12Jun 11, 2024Updated last year
- OP-TEE Trusted Applications vulnerable to memory corruption bugs.☆16Jul 3, 2020Updated 5 years ago
- A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches☆15Jun 21, 2019Updated 6 years ago
- Artefacts for: "VMScape: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments"☆40Oct 17, 2025Updated 6 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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
- A library OS for Linux multi-process applications, with Intel SGX support☆760Updated this week
- ☆23Jun 23, 2023Updated 2 years ago
- Repo for the Journal of Systems Research (JSYS)☆11Jan 7, 2020Updated 6 years ago
- ☆11Aug 10, 2021Updated 4 years ago
- AutoCAT: Reinforcement Learning for Automated Exploration of Cache-Timing Attacks☆46May 19, 2023Updated 2 years ago
- A Confidential Computing-Aware Certificate Authority☆12Apr 10, 2026Updated 3 weeks ago
- ☆13Oct 10, 2018Updated 7 years ago
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆19Feb 10, 2025Updated last year
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆18Aug 19, 2024Updated last year
- Streamline Covert Channel Attack (presented in ASPLOS'21)☆22Feb 18, 2021Updated 5 years ago
- ☆41Jan 5, 2026Updated 3 months ago
- Proof-of-Concept of the Frontal Attack☆11Jul 6, 2023Updated 2 years ago
- Panopticon is a complete in-DRAM RowHammer mitigation. This code simulates an implementation of Panopticon in DDR5.☆14Jun 2, 2023Updated 2 years ago
- The public release of LeftoverLocals code☆71Feb 13, 2026Updated 2 months ago
- 本文译自 University of Edinburgh 的 Volker Seeker 的 Process Scheduling in Linux ， 介绍了 Linux 3.1 的任务调度机制。☆11Aug 11, 2016Updated 9 years ago
- PoC for PixieFail vulnerabilities☆26Jan 12, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆45Aug 12, 2016Updated 9 years ago
- Datasets of audio adversarial examples for deep speech recognition systems and Python code of a detection system☆15May 6, 2023Updated 2 years ago
- ☆10Jun 10, 2024Updated last year
- Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"☆19Oct 14, 2024Updated last year
- ☆319Mar 31, 2026Updated last month
- A curated list of open-source projects that help exploit Intel SGX technology☆421Feb 9, 2026Updated 2 months ago
- New Cache implementation using Gem5☆13Apr 2, 2014Updated 12 years ago