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
- Software Supply Chain Attribute Integrity (SCAI) Demos and CLI tools☆19Updated this 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
- AVX-512 utilities☆20Sep 22, 2014Updated 11 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.
- 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 last month
- Guest lecture about modern DRM analysis at Ruhr-Universität Bochum.☆13Jun 10, 2024Updated last year
- IDA plugin for auto rename symbol☆15Jan 16, 2025Updated last year
- Enarx Keep Loader☆15Oct 25, 2021Updated 4 years 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☆22Feb 19, 2026Updated 3 months ago
- Multi-Agent Reinforcement Learning Environment for the card game SkyJo, compatible with PettingZoo and RLLIB☆16Feb 21, 2026Updated 3 months ago
- A list of resources for the talk Rowhammer Revisited: From Exploration to Exploitation and Mitigation☆15Dec 13, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Rizin Signature Database (Source)☆17Aug 23, 2023Updated 2 years ago
- Fuzzy search tool for IDA Pro (Update)☆12Mar 18, 2024Updated 2 years ago
- The Intel® Software Guard Extensions Enclave Memory Manager is a module designed to manage dynamic memory within an SGX runtime.☆29May 27, 2026Updated last week
- 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☆34Apr 18, 2026Updated last month
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆32Jan 5, 2025Updated last year
- 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 3 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☆25May 8, 2026Updated last month
- ☆31May 21, 2026Updated 2 weeks ago
- 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
- ☆14May 31, 2022Updated 4 years ago
- Generate and verify JWT tokens with Trusted Platform Module (TPM)☆15May 26, 2026Updated 2 weeks ago
- Header information parser for PE, ELF, DEX, MachO, ZIP (JAR, DocX).☆16Oct 30, 2025Updated 7 months ago
- GitHub Actions based repository scanning workflows with a primary goal of evaluating C & C++ repositories for risks.☆16Oct 8, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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
- 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
- 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)☆110Updated this week
- Bilingual Implementation of TLS1.3 in C++ and Rust☆12May 19, 2026Updated 3 weeks ago