microsoft / aragog
Scalable runtime verification of distributed middleboxes with Aaragog (OSDI 2020)
☆11Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for aragog
- Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.☆16Updated 2 years ago
- Sample EVM application for CCF☆13Updated 3 years ago
- NS3 Extensions to Simulate Direct Network Topologies☆19Updated last year
- Finding bugs in P4 compilers using translation validation.☆35Updated last month
- Template repository for CCF apps☆13Updated 3 months ago
- Intel SGX microkernel based on Graphene-SGX☆9Updated 4 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆13Updated 2 years ago
- ☆16Updated 4 years ago
- Research unikernel for virtualized services☆48Updated last year
- ☆11Updated 3 years ago
- ☆10Updated 4 years ago
- Storage systems with verified correctness properties☆29Updated this week
- Main repository of the Vigor NF verification project.☆45Updated 3 years ago
- Linear algebra subroutines for large SSD-resident dense and sparse matrices☆27Updated 3 years ago
- MemLiner is a remote-memory-friendly runtime system.☆30Updated 2 years ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆29Updated 3 years ago
- Petr4: Formal Semantics for P4☆77Updated 4 months ago
- SmartTLS is the project introduced at the paper "A Case for SmartNIC-accelerated Private Communication" (APNET 20). It accelerates web se…☆14Updated last year
- TSVD is a tool for quickly finding thread-safety violations (e.g., data races) in .NET applications.☆79Updated last year
- Probabilistic Computer Network Analysis☆19Updated 5 years ago
- ☆27Updated 3 months ago
- Programming system for NIC-accelerated network applications☆26Updated 6 years ago
- ☆16Updated 5 years ago
- Student project for advanced networking course. The set of scripts to provision VMs, build a virtual exchange point and run virtual campu…☆26Updated 4 years ago
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆35Updated 11 months ago
- QStack，a high-concurrency-and-low-latency user-level TCP stack for multicore systems, which can handle TCP concurrrent connection in 10 m…☆18Updated last year
- In-memory key-value store for testing applications against weak behaviors of a database.☆10Updated 3 years ago
- ☆9Updated 2 years ago
- A Framework for Modeling and Analyzing Network Configurations☆32Updated last year
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆9Updated 4 years ago