HexHive / AutoBib
AutoBib: create beautiful bib files and html publication pages automagically
☆14Updated 5 months ago
Related projects: ⓘ
- Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.☆18Updated 4 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26Updated 7 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
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆47Updated 6 years ago
- Python-based Oblivious RAM☆27Updated 4 years ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆29Updated 3 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆33Updated 7 years ago
- High-level performance analyser toolkit for Intel SGX☆39Updated 5 years ago
- Low-TCB Linux Applications with SGX Enclaves☆35Updated 5 years ago
- Minimal RISC Extensions for Isolated Execution☆50Updated 5 years ago
- Secure auditing of Internet services with Intel SGX☆22Updated 3 years ago
- ☆34Updated 7 years ago
- Repo for the Journal of Systems Research (JSYS)☆11Updated 4 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 3 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆16Updated 5 years ago
- Simple memory benchmarking of Intel SGX☆12Updated 8 years ago
- ☆32Updated 4 years ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- Tor anonymity network for SGX☆46Updated 5 years ago
- An Oblivious RAM program☆7Updated 9 years ago
- ☆45Updated 6 months ago
- ACM consolidated LaTeX styles☆63Updated 5 years ago
- Minimal OpenMSP430 hardware extensions for isolation and attestation☆20Updated last year
- A code confidentiality framework for Intel SGX☆17Updated 5 years ago
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆31Updated 6 years ago
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆106Updated 2 years ago
- Protecting user secrets from compromised browsers and operating systems☆17Updated 6 years ago
- SMVs: Enforcing Least Privilege Memory Views for Multithreaded Applications☆13Updated 2 years ago
- This is a Tamarin model of TLS 1.3☆31Updated last year
- Securing storage encryption by using Intel SGX enclaves. First attempt for the isolation of OS components with trusted enclaves.☆79Updated 7 years ago