[ASPLOS 2026, Best Paper Honorable Mention] Highly Automated Verification of Security Properties for Unmodified System Software
☆21Oct 21, 2026Updated last week
Alternatives and similar repositories for spoq2
Users that are interested in spoq2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months ago
- A formally verified security module for AMD confidential VMs☆75Sep 25, 2026Updated last month
- ☆17Nov 10, 2021Updated 4 years ago
- The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).☆43Jun 5, 2023Updated 3 years ago
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆23Aug 7, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆11Jun 10, 2024Updated 2 years ago
- A tool for formally verifying constant-time software against hardware 🕰️☆17Feb 1, 2025Updated last year
- ☆13May 7, 2026Updated 5 months ago
- Implementation of "Beyond Classification: Inferring Function Names in Stripped Binaries via Domain Adapted LLMs" (NDSS'25)☆46Jun 5, 2025Updated last year
- Commodity Obfuscation Engine for Intel SGX☆20Jul 21, 2019Updated 7 years ago
- Artifact for the IEEE S&P 2025 paper: "Rapid Reversing of Non-Linear CPU Cache Slice Functions: Unlocking Physical Address Leakage"☆22Apr 3, 2026Updated 6 months ago
- ☆38Oct 4, 2026Updated 3 weeks ago
- Examples of refining software and circuit implementations from their specifications in the style of the Bird-Meertens formalism.☆17Oct 15, 2026Updated 2 weeks ago
- ☆14Sep 27, 2026Updated last month
- 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.
- ☆82Aug 21, 2024Updated 2 years ago
- A programming language for writing constraint-based integrated circuit layout generators☆17Updated this week
- Linux kernel source tree☆10Oct 11, 2017Updated 9 years ago
- Web Verbs is an extension to NLWeb from Microsoft Research☆15May 5, 2026Updated 5 months ago
- Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"☆19Oct 14, 2024Updated 2 years ago
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆58Nov 7, 2023Updated 2 years ago
- Student Starter Code for Secure Hardware Design at MIT☆103Mar 1, 2026Updated 7 months ago
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆33Aug 30, 2023Updated 3 years ago
- Experimental memory allocator for shared CXL memory [ASPLOS '26]☆16Mar 22, 2026Updated 7 months 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.
- rv8 benchmark suite☆25Jul 30, 2020Updated 6 years ago
- Proof-of-concept implementation for the paper "CacheWarp: Software-based Fault Injection using Selective State Reset" (USENIX Security 20…☆65Aug 12, 2024Updated 2 years ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆24May 7, 2025Updated last year
- TensorRight: Automated Verification of Tensor Graph Rewrites☆28Oct 3, 2026Updated 3 weeks ago
- Proof-of-concept code for the IEEE S&P 2025 paper "Peek-a-Walk: Leaking Secrets via Page Walk Side Channels"☆34Sep 7, 2026Updated last month
- ☆56Oct 20, 2025Updated last year
- ☆32Jun 7, 2023Updated 3 years ago
- Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)☆30Dec 11, 2023Updated 2 years ago
- ☆28Dec 22, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Repo for Performance Interfaces for Hardware Accelerators.☆21Aug 19, 2025Updated last year
- Verified graph rewriting (for dataflow circuits).☆29Oct 4, 2026Updated 3 weeks ago
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆32May 3, 2024Updated 2 years ago
- Meta repository for the USENIX ATC'25 Publication "Accelerating Nested Virtualization with HyperTurtle"☆17Mar 22, 2026Updated 7 months ago
- ☆12Jun 12, 2023Updated 3 years ago
- Ahead-of-time analysis of shell program effects☆20Oct 5, 2026Updated 3 weeks ago
- ☆22Sep 16, 2026Updated last month