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
- ☆22Oct 18, 2023Updated 2 years ago
- ☆17Aug 15, 2023Updated 2 years ago
- Software Supply Chain Attribute Integrity (SCAI) Demos and CLI tools☆19May 8, 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 6 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 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 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
- An implementation of the decoding of BCH codes resistant to timing attacks☆11Sep 18, 2020Updated 5 years ago
- Bottom-up memory-safety for assembly language using symbolic execution☆21Feb 19, 2026Updated 3 months ago
- Multi-Agent Reinforcement Learning Environment for the card game SkyJo, compatible with PettingZoo and RLLIB☆16Feb 21, 2026Updated 2 months ago
- A list of resources for the talk Rowhammer Revisited: From Exploration to Exploitation and Mitigation☆15Dec 13, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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.☆29Updated this 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 C implementation of Spritz, a spongy RC4-like stream cipher and hash function.☆28Jan 1, 2026Updated 4 months ago
- A lightweight, asynchronous extension for nodriver and zendriver that detects and verifies Cloudflare Turnstile challenges.☆23Feb 13, 2026Updated 3 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 3 months ago
- ☆21Aug 6, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆30Apr 27, 2026Updated 3 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" (…☆22Sep 24, 2023Updated 2 years ago
- Android virtual machine and deobfuscator☆17Jan 31, 2024Updated 2 years ago
- ☆14May 31, 2022Updated 3 years ago
- Generate and verify JWT tokens with Trusted Platform Module (TPM)☆14Oct 2, 2025Updated 7 months ago
- Header information parser for PE, ELF, DEX, MachO, ZIP (JAR, DocX).☆16Oct 30, 2025Updated 6 months ago
- GitHub Actions based repository scanning workflows with a primary goal of evaluating C & C++ repositories for risks.☆16Oct 8, 2024Updated last year
- 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
- 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.
- 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
- ☆12Sep 29, 2025Updated 7 months ago
- Easy-to-use IDA plugin for code emulation☆58Nov 29, 2025Updated 5 months ago
- Bilingual Implementation of TLS1.3 in C++ and Rust☆12Updated this week
- A portable, easy to use, readable and flexible SSL library (dual-licensed, with FOSS exceptions)☆24Aug 6, 2025Updated 9 months ago