shinan6 / robust-gps-antispoofing
☆15Updated this week
Related projects: ⓘ
- FAST implemented on Xilinx Zynq7000 SoC board☆14Updated 4 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆16Updated 5 years ago
- 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
- ☆13Updated this week
- Template for NSF Proposals☆13Updated last week
- LaTeX templates for papers☆37Updated 5 years ago
- ☆13Updated last year
- The Intel® Software Guard Extensions Enclave Memory Manager is a module designed to manage dynamic memory within an SGX runtime.☆24Updated 3 months ago
- Protecting user secrets from compromised browsers and operating systems☆17Updated 6 years ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆29Updated 3 years ago
- ☆18Updated 2 years ago
- Artifacts for SOSP'19 paper Optimizing Deep Learning Computation with Automatic Generation of Graph Substitutions☆21Updated 2 years ago
- Open sourced implementation of a prototype for Hyperledger Fabric chaincode execution with OP-TEE. This work is part of the master thesis…☆11Updated 5 years ago
- A network-level collaboration framework for personal mobile devices☆15Updated 4 years ago
- Github repo backing website for the CS Assistant Professor Handbook☆26Updated 3 weeks ago
- General system research material (not limited to paper) reading notes.☆20Updated 3 years ago
- Tor anonymity network for SGX☆46Updated 5 years ago
- website for systems seminar at UIUC☆17Updated this week
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26Updated 7 years ago
- A fun OS course☆19Updated 3 years ago
- A Sparse-tensor Communication Framework for Distributed Deep Learning☆13Updated 2 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆16Updated 3 years ago
- ☆30Updated 5 years ago
- ☆24Updated 10 months ago
- A new version for Pytheas (formally DDN), a control platform for enabling data-driven control for network applications☆14Updated 7 years ago
- ☆28Updated 5 years ago
- A TEE programming framework based on trusted functions.☆14Updated 3 years ago
- HW&SW Switch implementation enabling Control-as-a-Service industrial network paradigm☆13Updated 6 months ago
- paper collections in database/distributed system/operating system/crypto/arch/security&privacy☆79Updated 2 years ago
- a decentralized search engine with a decentralized verifiable dataflow☆54Updated last year