ieee-security / ongoing-submission-plan
Public forum for detailed planning of a VLDB-like ongoing submission model for IEEE S&P
☆15Updated 7 years ago
Related projects: ⓘ
- PathArmor context-sensitive CFI implementation☆45Updated 8 years ago
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆41Updated 8 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 8 years ago
- Differential fuzzing for the masses!☆149Updated 7 years ago
- [UNMAINTAINED] Implementation of the FLUSH+RELOAD side channel attack☆57Updated 6 years ago
- Recon materials☆28Updated 6 years ago
- ☆28Updated 2 years ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆20Updated 7 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆57Updated 7 years ago
- MCFI/PICFI tool chain☆41Updated 5 months ago
- Inter-procedural analysis framework and dependency/information-flow analysis for LLVM☆19Updated 11 years ago
- Timing Attack on TLS' ECDSA signature☆42Updated 9 years ago
- ☆72Updated 6 years ago
- Sample application to let OpenSSL talk to itself (for fuzzing)☆33Updated 8 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 3 years ago
- A Retargettable CFI implementation in LLVM. Authors: Joseph Battaglia and Oulin Yao☆18Updated 9 years ago
- ☆25Updated 8 years ago
- Another crash analyzer tool for the American Fuzzy Lop (AFL) fuzzer☆118Updated 7 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 6 years ago
- Short, unrelated helper scripts for users of AFL (the fuzzer)☆110Updated 8 years ago
- Implementation of differential fuzz testing for TLS handshake messages☆12Updated 3 years ago
- First practical showcase for leaking secret encryption keys from a secure SGX enclave.☆19Updated 7 years ago
- KLEE in the browser☆50Updated 3 months ago
- ☆63Updated 3 years ago
- Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries☆95Updated 6 years ago
- [DEPRECATED] A symbolic execution engine for the VEX IR☆79Updated 5 years ago
- Documentation and Quick Start Guides for the S2E Symbolic Execution Platform☆76Updated 4 years ago
- Scripts for collecting metrics of the attack surface☆14Updated 3 years ago
- SGX command-line tools and paper☆146Updated 8 years ago
- Instruction cache leakage detection tool for modular exponentation software.☆14Updated 7 years ago