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 3 months ago
- ☆17Aug 15, 2023Updated 3 years ago
- Software Supply Chain Attribute Integrity (SCAI) Demos and CLI tools☆19Aug 3, 2026Updated 3 weeks ago
- ☆21Oct 18, 2023Updated 2 years ago
- 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.
- 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 10 months ago
- CLI utilty to work out proper constants for vpternlogic instruction☆13Jan 22, 2023Updated 3 years ago
- ☆13Dec 11, 2025Updated 8 months ago
- A collection of C/C++ programs and Python scripts to be used in conjunction with Intel Software Development Emulator (Intel SDE, availabl…☆52Apr 14, 2026Updated 4 months ago
- Proof-of-concept implementation for the paper "Reviving Meltdown 3a" (ESORICS 2023)☆17Sep 25, 2023Updated 2 years ago
- tprt ollvm 反混淆 修改 binja il☆53Sep 5, 2024Updated 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 6 months ago
- The Intel® Software Guard Extensions Enclave Memory Manager is a module designed to manage dynamic memory within an SGX runtime.☆30May 27, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- Fuzzy search tool for IDA Pro (Update)☆11Mar 18, 2024Updated 2 years ago
- A C implementation of Spritz, a spongy RC4-like stream cipher and hash function.☆28Jan 1, 2026Updated 7 months ago
- A Tile-based 2D rendering engine.☆12Jun 17, 2019Updated 7 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆18Oct 19, 2023Updated 2 years ago
- ☆21Aug 6, 2022Updated 4 years ago
- Reference implementations of post-quantum cryptographic primitives☆32Feb 16, 2026Updated 6 months ago
- Interactive Control Flow Graph Visualization.☆34Sep 27, 2021Updated 4 years ago
- ☆32Aug 20, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- IDA plugin for auto rename symbol☆15Jan 16, 2025Updated last year
- Bilingual Implementation of TLS1.3 in C++ and Rust☆12Aug 7, 2026Updated 3 weeks ago
- Generate and verify JWT tokens with Trusted Platform Module (TPM)☆15May 26, 2026Updated 3 months ago
- Intel® Query Processing Library (Intel® QPL)☆110Aug 13, 2026Updated 2 weeks ago
- ast pattern matching with automated structure recovery for hex-rays decompiler☆39Apr 18, 2026Updated 4 months ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆120Nov 26, 2024Updated last year
- GitHub Actions based repository scanning workflows with a primary goal of evaluating C & C++ repositories for risks.☆16Oct 8, 2024Updated last year
- Android virtual machine and deobfuscator☆18Jan 31, 2024Updated 2 years ago
- A list of resources for the talk Rowhammer Revisited: From Exploration to Exploitation and Mitigation☆15Dec 13, 2023Updated 2 years ago
- 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.
- Oblivious key-value store based on Circuit ORAM☆38Updated this week
- Administrative utility for AMD SEV☆15Apr 13, 2022Updated 4 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 3 years ago
- Easy botan integration into cmake projects using automatically generated amalgamation files.☆19Oct 7, 2024Updated last year
- ☆14Sep 29, 2025Updated 11 months ago
- zlib-accel is a software shim to transparently offload zlib compression/decompression to hardware accelerators☆15Updated this week