Pin-Based Constant Execution Checker (Pin-based CEC)
☆20Mar 31, 2025Updated last year
Alternatives and similar repositories for pin-based-cec
Users that are interested in pin-based-cec are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation trade-offs in using Intel Pin for instruction tracing of complex programs☆15Oct 16, 2019Updated 6 years ago
- ☆39May 7, 2026Updated last month
- ☆22Oct 18, 2023Updated 2 years ago
- Software Supply Chain Attribute Integrity (SCAI) Demos and CLI tools☆19Jun 22, 2026Updated last week
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 7 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- CLI utilty to work out proper constants for vpternlogic instruction☆13Jan 22, 2023Updated 3 years ago
- AVX-512 utilities☆20Sep 22, 2014Updated 11 years ago
- A collection of C/C++ programs and Python scripts to be used in conjunction with Intel Software Development Emulator (Intel SDE, availabl…☆50Apr 14, 2026Updated 2 months ago
- IDA plugin for auto rename symbol☆15Jan 16, 2025Updated last year
- Enarx Keep Loader☆15Oct 25, 2021Updated 4 years ago
- Oblivious key-value store based on Circuit ORAM☆38Mar 22, 2025Updated last year
- An implementation of the decoding of BCH codes resistant to timing attacks☆11Sep 18, 2020Updated 5 years ago
- Multi-Agent Reinforcement Learning Environment for the card game SkyJo, compatible with PettingZoo and RLLIB☆16Feb 21, 2026Updated 4 months ago
- A list of resources for the talk Rowhammer Revisited: From Exploration to Exploitation and Mitigation☆15Dec 13, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Rizin Signature Database (Source)☆17Aug 23, 2023Updated 2 years ago
- Fuzzy search tool for IDA Pro (Update)☆12Mar 18, 2024Updated 2 years ago
- 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 C implementation of Spritz, a spongy RC4-like stream cipher and hash function.☆28Jan 1, 2026Updated 5 months ago
- A space-efficient bitmap implementation with inline storage optimization for Rust.☆15Oct 30, 2025Updated 7 months ago
- ast pattern matching with automated structure recovery for hex-rays decompiler☆37Apr 18, 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 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆21Aug 6, 2022Updated 3 years ago
- Documentation related to Intel's Confidential Computing offerings☆26Jun 13, 2026Updated 2 weeks ago
- ☆31Updated 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" (…☆23Sep 24, 2023Updated 2 years ago
- Android virtual machine and deobfuscator☆17Jan 31, 2024Updated 2 years ago
- ☆14May 31, 2022Updated 4 years ago
- Header information parser for PE, ELF, DEX, MachO, ZIP (JAR, DocX).☆16Jun 17, 2026Updated last week
- GitHub Actions based repository scanning workflows with a primary goal of evaluating C & C++ repositories for risks.☆16Oct 8, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- This is a VmProtect integrated debugger, that will essentially allow you to disasm and debug vmp partially virtualized functions at the v…☆48Oct 18, 2016Updated 9 years ago
- Administrative utility for AMD SEV☆15Apr 13, 2022Updated 4 years ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆120Nov 26, 2024Updated last year
- A reimplementation of `Data.IntMap` that uses minimum and maximum bounds on subtrees instread of bit prefixes.☆21Nov 26, 2023Updated 2 years ago
- Scripts to collect microcode from CPUMicrocodes Repo and to downgrade to a compatible microcode.☆22Oct 18, 2024Updated last year
- PoC for the taint-based ROP approach☆14Jul 16, 2023Updated 2 years ago
- Intel® Query Processing Library (Intel® QPL)☆110Jun 3, 2026Updated 3 weeks ago