microsoft / aragog
Scalable runtime verification of distributed middleboxes with Aaragog (OSDI 2020)
☆11Updated 3 years ago
Related projects: ⓘ
- Sample EVM application for CCF☆13Updated 3 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
- NS3 Extensions to Simulate Direct Network Topologies☆19Updated last year
- A library for collecting features and performing inference of machine learning evaluations based on those features, useful especially in …☆12Updated 3 years ago
- Research unikernel for virtualized services☆48Updated last year
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆34Updated 9 months ago
- Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.☆16Updated 2 years ago
- Finding bugs in P4 compilers using translation validation.☆35Updated 2 months ago
- Storage systems with verified correctness properties☆28Updated this week
- Enabling data-informed network simulation☆14Updated last year
- Coq BPF interpreter☆18Updated 6 years ago
- CorrelationVector-Cpp provides a reference C++ implementation of the CorrelationVector protocol for tracing and correlation of events thr…☆17Updated 2 years ago
- A complete workshop content with a series of tracks and hands-on labs on various techniques to protect data in use.☆12Updated 4 years ago
- ☆13Updated last year
- SmartTLS is the project introduced at the paper "A Case for SmartNIC-accelerated Private Communication" (APNET 20). It accelerates web se…☆12Updated last year
- ACC template generation engine☆11Updated last year
- Messaging library on top of NDv2 (Microsoft's RDMA interface)☆12Updated last year
- Crellvm: Verified Credible Compilation for LLVM☆15Updated 6 years ago
- ☆15Updated 3 years ago
- ☆30Updated 5 years ago
- MemLiner is a remote-memory-friendly runtime system.☆30Updated last year
- NVIDIA DPU OPs collection☆12Updated last year
- Practical Tamper-Proof System Auditing☆12Updated 11 months ago
- Petr4: Formal Semantics for P4☆74Updated 2 months ago
- Programming system for NIC-accelerated network applications☆25Updated 5 years ago
- The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…☆15Updated 4 years ago
- This repository provides code for SVD and Importance sampling-based algorithms for large scale topic modeling.☆13Updated 3 years ago
- Template repository for CCF apps☆14Updated last month
- Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.☆14Updated 2 weeks ago
- A benchmark that simulates the 'incast' network traffic pattern.☆13Updated 4 years ago