SGX labs designed for CIS700 Information Security and Privacy
☆34Feb 14, 2023Updated 3 years ago
Alternatives and similar repositories for CIS700-sgxlab
Users that are interested in CIS700-sgxlab are comparing it to the libraries listed below
Sorting:
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- StealthDB: an encrypted database from intel sgx with small trusted computing base.☆62Jul 19, 2021Updated 4 years ago
- A "real" remote attestation flamework of Intel SGX☆24Aug 30, 2018Updated 7 years ago
- SGX Tutorial at CCS17: SGX Security and Privacy☆86Nov 8, 2017Updated 8 years ago
- VMSDK implements the Evidence API☆11Nov 25, 2024Updated last year
- DedupBench is a benchmarking tool for content-defined chunking techniques used in data deduplication. It currently supports eleven uniqu…☆22Feb 20, 2026Updated 2 weeks ago
- ☆10Jan 31, 2022Updated 4 years ago
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆18Nov 24, 2017Updated 8 years ago
- CVE-2023-40028 affects Ghost, an open source content management system, where versions prior to 5.59.1 allow authenticated users to uploa…☆13Jan 7, 2025Updated last year
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 3 years ago
- Analyzing Configuration Dependencies of File Systems [FAST'23, HotStorage'22]☆11May 17, 2025Updated 9 months ago
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 3 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- ☆11Mar 17, 2021Updated 4 years ago
- sgx-based encrypted deduplication prototype☆14May 14, 2021Updated 4 years ago
- Experimental hostapd/wpa_supplicant that allows automatic MACsec channel establishment☆11Sep 5, 2017Updated 8 years ago
- Mirror of NetBSD sources useful with rump kernels☆13Mar 23, 2017Updated 8 years ago
- A netmap-based userspace network stack.☆10May 7, 2015Updated 10 years ago
- A simple Wireworld cellular automaton explorer in Swift☆13Jun 10, 2017Updated 8 years ago
- An Android Build for cpulimit☆12Nov 18, 2015Updated 10 years ago
- Systematic Protocol Analysis Project☆11Jun 13, 2017Updated 8 years ago
- IPsec and IKEv2 for the Contiki OS! See examples/ipsec/README.md to get started!☆17Jan 20, 2014Updated 12 years ago
- DeepInspect code release☆11Feb 11, 2020Updated 6 years ago
- [HotStorage '24] Can ZNS SSDs be Better Storage Devices for Persistent Cache?☆12Jun 14, 2024Updated last year
- ☆11Apr 2, 2021Updated 4 years ago
- A iOS Terminal from MTerminal, I just reorganize it☆12Aug 24, 2015Updated 10 years ago
- Python transcompiler for translating Rokwell's Ladder exported files (.L5X) to C.☆11Aug 7, 2019Updated 6 years ago
- ☆14Dec 27, 2020Updated 5 years ago
- IETF RATS terms cheat sheet☆12Feb 4, 2023Updated 3 years ago
- Minimal configuration component test runner supporting browser testing, phantomjs, and saucelabs.☆97Nov 7, 2019Updated 6 years ago
- Weka package for parameter optimization, similar to GridSearch, but with arbitrary number of parameters.☆10Feb 17, 2021Updated 5 years ago
- Fork of http://compcert.inria.fr/☆22Oct 30, 2014Updated 11 years ago
- ☆11Feb 25, 2023Updated 3 years ago
- A new XNU kernel fuzzer with some extra features.☆13Feb 8, 2017Updated 9 years ago
- ☆14Dec 16, 2021Updated 4 years ago
- The code provides an example C language based implementation of the idea proposed in the paper "SS-CDC: a two-stage parallel content-defi…☆11Sep 10, 2019Updated 6 years ago
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- A server-side Website Fingerprinting defence called "Application Layer Padding Concerns Adversaries"☆11Mar 4, 2019Updated 7 years ago