☆31Jun 7, 2023Updated 3 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
- ☆47Feb 13, 2026Updated 4 months ago
- The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).☆43Jun 5, 2023Updated 3 years ago
- Linux kernel SGX driver for Graphene☆12Nov 3, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆84Apr 18, 2025Updated last year
- ☆28Mar 4, 2025Updated last year
- Getting Started with the Core Slicing Prototype☆14Jun 25, 2026Updated last week
- Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.☆36May 26, 2023Updated 3 years ago
- This is the official implementation of NNSplitter (ICML'23)☆12Jun 11, 2024Updated 2 years ago
- The Intel® Software Guard Extensions Enclave Memory Manager is a module designed to manage dynamic memory within an SGX runtime.☆30May 27, 2026Updated last month
- OP-TEE Trusted Applications vulnerable to memory corruption bugs.☆17Jul 3, 2020Updated 5 years ago
- A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches☆15Jun 21, 2019Updated 7 years ago
- Artefacts for: "VMScape: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments"☆41May 5, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A library OS for Linux multi-process applications, with Intel SGX support☆763Jun 25, 2026Updated last week
- ☆23Jun 23, 2023Updated 3 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☆48May 19, 2023Updated 3 years ago
- A Confidential Computing-Aware Certificate Authority☆13Jun 19, 2026Updated last week
- (elastic) cuckoo hashing☆17Jun 20, 2020Updated 6 years ago
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆19Feb 10, 2025Updated last year
- 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.
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆19Aug 19, 2024Updated last year
- Streamline Covert Channel Attack (presented in ASPLOS'21)☆22Feb 18, 2021Updated 5 years ago
- Proof-of-Concept of the Frontal Attack☆11Jul 6, 2023Updated 2 years ago
- ☆43Jan 5, 2026Updated 5 months ago
- A Symbolic Emulator for Shuffle Synthesis on the NVIDIA PTX Code☆16Mar 19, 2023Updated 3 years ago
- ☆19Oct 24, 2024Updated last year
- 本文译自 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
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆45Aug 12, 2016Updated 9 years 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.
- Datasets of audio adversarial examples for deep speech recognition systems and Python code of a detection system☆14May 6, 2023Updated 3 years ago
- ☆11Jun 10, 2024Updated 2 years ago
- Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"☆19Oct 14, 2024Updated last year
- A curated list of open-source projects that help exploit Intel SGX technology☆423Feb 9, 2026Updated 4 months ago
- ☆325Jun 17, 2026Updated 2 weeks ago
- Code for "Training Adversarially Robust Sparse Networks via Bayesian Connectivity Sampling" [ICML 2021]☆10Mar 14, 2022Updated 4 years ago
- New Cache implementation using Gem5☆13Apr 2, 2014Updated 12 years ago