Sth in Control-Flow Integrity
☆20Dec 25, 2018Updated 7 years ago
Alternatives and similar repositories for Control-Flow-Integrity
Users that are interested in Control-Flow-Integrity are comparing it to the libraries listed below
Sorting:
- Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019☆38Jan 10, 2022Updated 4 years ago
- ☆25Jun 16, 2021Updated 4 years ago
- Hack@DAC 2021☆16Jul 24, 2024Updated last year
- Fuzzing for SpinalHDL☆17Oct 10, 2022Updated 3 years ago
- ☆12Jun 14, 2021Updated 4 years ago
- GPU-enabled Hardware Fuzzer using Genetic Algorithm☆20Jul 12, 2023Updated 2 years ago
- HeteroSim is a full system simulator supporting x86 multicore processors combined with a FPGA via bus-based architecture. Flexible design…☆21Jul 11, 2016Updated 9 years ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆106Feb 1, 2019Updated 7 years ago
- ☆23Jan 30, 2025Updated last year
- Build LLVM Toolchain targeting a custom sysroot - Clang, LLD, Binutils (gold), compiler-rt, libc++, libcxxabi, libunwind☆14May 21, 2020Updated 5 years ago
- llvm-essentials-book sample☆20Jan 10, 2018Updated 8 years ago
- ☆25Mar 1, 2023Updated 3 years ago
- Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19☆22Dec 12, 2022Updated 3 years ago
- RTLCheck☆25Oct 9, 2018Updated 7 years ago
- Run SPEC CPU2006 on Linux with either an Intel, ARM, or PowerPC processors.☆26Apr 25, 2018Updated 7 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆35Apr 26, 2022Updated 3 years ago
- LLM Evaluation Benchmark on Hardware Formal Verification☆36Apr 3, 2025Updated 10 months ago
- A design automation framework to engineer decision diagrams yourself☆26Updated this week
- Fix syntax errors of LLM-generated RTL☆43May 23, 2024Updated last year
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Jan 15, 2020Updated 6 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- A simple tool to demonstrate the physical design steps of VLSI Design Flow.☆10Dec 13, 2020Updated 5 years ago
- MCFI/PICFI tool chain☆45Mar 21, 2024Updated last year
- ☆10Feb 9, 2024Updated 2 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- GAMES101 Homework Collection☆10Apr 2, 2025Updated 11 months ago
- Scripts for Digital Design flow control.☆16Oct 30, 2025Updated 4 months ago
- 不定期更新爬取各国网站的爬虫源码☆10Aug 15, 2018Updated 7 years ago
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆14Oct 16, 2025Updated 4 months ago
- An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.☆13Aug 31, 2018Updated 7 years ago
- Analyze experimental data with Programming by Navigation☆13Feb 23, 2026Updated last week
- OpenCCA: An Open Framework to Enable Arm CCA Research☆20Sep 10, 2025Updated 5 months ago
- A proposed hardware-based method for stopping known memory corruption exploitation techniques. #nsacyber☆156May 10, 2017Updated 8 years ago
- ☆102May 27, 2024Updated last year
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆45Aug 12, 2016Updated 9 years ago
- 写的快糙猛的课程作业（躺☆11May 2, 2020Updated 5 years ago
- Spring4Shell (CVE-2022-22965)☆12Apr 7, 2022Updated 3 years ago