hso-esk / tls-diff-testing
Implementation of differential fuzz testing for TLS handshake messages
☆11Updated 3 years ago
Alternatives and similar repositories for tls-diff-testing:
Users that are interested in tls-diff-testing are comparing it to the libraries listed below
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆42Updated 8 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 4 years ago
- K-Hunt: Pinpointing Insecure Crypto Keys☆44Updated 6 years ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 7 years ago
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆45Updated last year
- Instruction cache leakage detection tool for modular exponentation software.☆14Updated 8 years ago
- Tool for detecting error handling bugs☆22Updated 8 years ago
- ☆35Updated 8 years ago
- Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks☆46Updated 8 years ago
- Preventing code-reuse attacks by stopping code pointer leakages☆36Updated 9 years ago
- DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.☆92Updated 7 years ago
- ☆55Updated 2 years ago
- Code to fuzz bignum libraries☆45Updated 6 years ago
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆47Updated 7 years ago
- ☆55Updated 5 years ago
- ☆16Updated 6 years ago
- ☆73Updated 6 years ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆105Updated 6 years ago
- PathArmor context-sensitive CFI implementation☆45Updated 9 years ago
- ☆71Updated 5 years ago
- MCFI/PICFI tool chain☆42Updated last year
- Securing System Logs With Intel SGX☆14Updated 8 years ago
- Public forum for detailed planning of a VLDB-like ongoing submission model for IEEE S&P☆15Updated 7 years ago
- ☆28Updated 2 years ago
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆61Updated 5 years ago
- Differential Address Trace Analysis☆55Updated last year
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆31Updated 7 years ago
- Android driver for the Trusted Execution Environment <t-base☆12Updated 9 years ago
- Security benchmarks for the Internet of Things☆22Updated 4 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆27Updated 7 years ago