Pin-Based Constant Execution Checker (Pin-based CEC)
☆20Mar 31, 2025Updated 11 months ago
Alternatives and similar repositories for pin-based-cec
Users that are interested in pin-based-cec are comparing it to the libraries listed below
Sorting:
- Implementation trade-offs in using Intel Pin for instruction tracing of complex programs☆15Oct 16, 2019Updated 6 years ago
- ☆39Sep 9, 2025Updated 6 months ago
- ☆22Oct 18, 2023Updated 2 years ago
- ☆17Aug 15, 2023Updated 2 years ago
- CLI utilty to work out proper constants for vpternlogic instruction☆13Jan 22, 2023Updated 3 years ago
- A collection of C/C++ programs and Python scripts to be used in conjunction with Intel Software Development Emulator (Intel SDE, availabl…☆51Jul 9, 2025Updated 8 months ago
- Guest lecture about modern DRM analysis at Ruhr-Universität Bochum.☆13Jun 10, 2024Updated last year
- IDA plugin for auto rename symbol☆14Jan 16, 2025Updated last year
- Enarx Keep Loader☆15Oct 25, 2021Updated 4 years ago
- Oblivious key-value store based on Circuit ORAM☆36Mar 22, 2025Updated 11 months ago
- An implementation of the decoding of BCH codes resistant to timing attacks☆11Sep 18, 2020Updated 5 years ago
- Tool to collect and visualize memory usage of a process tree, mainly for Windows.☆19Dec 5, 2024Updated last year
- Bottom-up memory-safety for assembly language using symbolic execution☆17Feb 19, 2026Updated last month
- Multi-Agent Reinforcement Learning Environment for the card game SkyJo, compatible with PettingZoo and RLLIB☆16Feb 21, 2026Updated 3 weeks ago
- A list of resources for the talk Rowhammer Revisited: From Exploration to Exploitation and Mitigation☆15Dec 13, 2023Updated 2 years ago
- Rizin Signature Database (Source)☆17Aug 23, 2023Updated 2 years ago
- The Intel® Software Guard Extensions Enclave Memory Manager is a module designed to manage dynamic memory within an SGX runtime.☆29Jan 13, 2026Updated 2 months ago
- Fuzzy search tool for IDA Pro (Update)☆12Mar 18, 2024Updated 2 years ago
- ast pattern matching with automated structure recovery for hex-rays decompiler☆31Mar 11, 2026Updated last week
- Tool for generation of data from cryptoprimitives (block and stream ciphers, hash functions). Cryptoprimitives are round-reduced and the …☆14Nov 11, 2022Updated 3 years ago
- RISC-V emulator in Zig☆15Nov 4, 2023Updated 2 years ago
- A space-efficient bitmap implementation with inline storage optimization for Rust.☆15Oct 30, 2025Updated 4 months ago
- DENUVO v1-v2 Virtual Machine profiling tool and Electronic Arts Origin decoder☆56Sep 12, 2025Updated 6 months ago
- A confidential VM running unmodified container images in AWS Nitro Enclaves☆12Jan 5, 2026Updated 2 months ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆18Oct 19, 2023Updated 2 years ago
- Reference implementations of post-quantum cryptographic primitives☆33Feb 16, 2026Updated last month
- ☆21Aug 6, 2022Updated 3 years ago
- Documentation related to Intel's Confidential Computing offerings☆20Feb 20, 2026Updated last month
- ☆29Updated this week
- Interactive Control Flow Graph Visualization.☆34Sep 27, 2021Updated 4 years ago
- Proof-of-concept implementation for the paper "Indirect Meltdown: Building Novel Side-Channel Attacks from Transient Execution Attacks" (…☆22Sep 24, 2023Updated 2 years ago
- Android virtual machine and deobfuscator☆16Jan 31, 2024Updated 2 years ago
- ☆14May 31, 2022Updated 3 years ago
- Easy-to-use IDA plugin for code emulation☆55Nov 29, 2025Updated 3 months ago
- Header information parser for PE, ELF, DEX, MachO, ZIP (JAR, DocX).☆16Oct 30, 2025Updated 4 months ago
- GitHub Actions based repository scanning workflows with a primary goal of evaluating C & C++ repositories for risks.☆16Oct 8, 2024Updated last year
- Administrative utility for AMD SEV☆15Apr 13, 2022Updated 3 years ago
- This is a VmProtect integrated debugger, that will essentially allow you to disasm and debug vmp partially virtualized functions at the v…☆47Oct 18, 2016Updated 9 years ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆118Nov 26, 2024Updated last year