Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"
☆13Jan 13, 2026Updated 9 months ago
Alternatives and similar repositories for scope
Users that are interested in scope are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- isla coq infrastructure☆23Mar 11, 2025Updated last year
- Meta repository for the USENIX ATC'25 Publication "Accelerating Nested Virtualization with HyperTurtle"☆17Mar 22, 2026Updated 7 months ago
- ☆16Oct 13, 2026Updated last week
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆15Oct 16, 2025Updated last year
- linux-exploit☆14Jun 12, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆52Sep 28, 2026Updated 3 weeks ago
- A bunch of sample codes related to kernel fuzzing☆12Feb 7, 2019Updated 7 years ago
- [ASPLOS 2026, Best Paper Honorable Mention] Highly Automated Verification of Security Properties for Unmodified System Software☆21Updated this week
- ☆19Oct 12, 2026Updated last week
- ☆17Jan 5, 2024Updated 2 years ago
- ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines☆23Nov 1, 2025Updated 11 months ago
- ☆18Dec 24, 2021Updated 4 years ago
- Analysis on Kernel Self-Protection: Understanding Security and Performance Implication☆19Apr 20, 2020Updated 6 years ago
- TLA+ models of Linux kernel protocols☆33Oct 12, 2026Updated last week
- 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.
- Artifact for the OSDI'2025 paper☆18Sep 9, 2026Updated last month
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated 2 years ago
- Rust library for Intel TDX☆36Aug 26, 2026Updated last month
- Crypto Side Channel Attack (CSCA)☆18Jul 18, 2018Updated 8 years ago
- ☆22Apr 3, 2026Updated 6 months ago
- GPUReplay, ASPLOS 2022☆42Feb 21, 2022Updated 4 years ago
- An FPGA-based NetTLP adapter☆29Mar 10, 2020Updated 6 years ago
- Python based client for IBM XForce Exchange☆26Aug 5, 2016Updated 10 years ago
- A parallel programming model for online applications with complex synchronization requirements.☆17Jun 8, 2022Updated 4 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.
- Staged programming for Rust. Write type-safe proc macros and high-level APIs that generate efficient code.☆20Oct 14, 2026Updated last week
- ☆21Oct 17, 2025Updated last year
- A canon of deep learning optimizers.☆22Jun 18, 2026Updated 4 months ago
- ☆16Feb 11, 2025Updated last year
- ☆20Sep 30, 2026Updated 3 weeks ago
- Unified Maude model-checking tool☆13Jul 29, 2026Updated 2 months ago
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated last month
- Artifact for "Battering RAM: Low-Cost Interposer Attacks on Confidential Computing via Dynamic Memory Aliasing"☆39Oct 13, 2026Updated last week
- ☆13Oct 10, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A crawler for automated Android UI testing.☆19Jun 20, 2017Updated 9 years ago
- Compositional Verification of Security Protocols☆37Updated this week
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- Copy as an OS Service☆27Nov 20, 2025Updated 11 months ago
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆47Jul 25, 2026Updated 2 months ago
- A Hindley-Milner(-Damas) type inference implementation in C.☆13Nov 13, 2015Updated 10 years ago
- OpenPGP smart card minidriver☆14Nov 6, 2024Updated last year