Pin-Based Constant Execution Checker (Pin-based CEC)
☆20Mar 31, 2025Updated 10 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:
- 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 4 months ago
- Implementation trade-offs in using Intel Pin for instruction tracing of complex programs☆15Oct 16, 2019Updated 6 years ago
- Bottom-up memory-safety for assembly language using symbolic execution☆17Feb 19, 2026Updated last week
- Bilingual Implementation of TLS1.3 in C++ and Rust☆11Feb 6, 2026Updated 3 weeks ago
- ☆17Aug 15, 2023Updated 2 years ago
- Easy botan integration into cmake projects using automatically generated amalgamation files.☆18Oct 7, 2024Updated last year
- ☆30Jan 3, 2026Updated last month
- GitHub Actions based repository scanning workflows with a primary goal of evaluating C & C++ repositories for risks.☆16Oct 8, 2024Updated last year
- Formal specification of attestation mechanisms in Confidential Computing☆24Nov 22, 2025Updated 3 months ago
- ☆22Oct 18, 2023Updated 2 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Jan 5, 2025Updated last year
- ☆23Apr 5, 2025Updated 10 months ago
- library providing OPRF and Threshold OPRF based on libsodium☆31Updated this week
- Interactive Control Flow Graph Visualization.☆34Sep 27, 2021Updated 4 years ago
- Oblivious key-value store based on Circuit ORAM☆36Mar 22, 2025Updated 11 months ago
- DENUVO v1-v2 Virtual Machine profiling tool and Electronic Arts Origin decoder☆53Sep 12, 2025Updated 5 months ago
- Boost Site Documentation☆11Feb 20, 2026Updated last week
- Easy-to-use IDA plugin for code emulation☆54Nov 29, 2025Updated 2 months ago
- ACVP Parser for invocation of cryptographic implementations using the ACVP JSON test vectors☆44Nov 17, 2025Updated 3 months ago
- AFL bindings for Unicorn-Engine☆89Sep 19, 2025Updated 5 months ago
- ☆15Aug 12, 2024Updated last year
- SQL Server Always Encrypted Key Store Generic Provider for Key Store Interopearibility between Windows and Linux☆11Oct 24, 2018Updated 7 years ago
- Sparkling training missions for web security☆12Apr 24, 2017Updated 8 years ago
- Deepfakes weapon skins onto Valorant guns using CycleGAN☆10Jan 17, 2021Updated 5 years ago
- Open-source deep research agent implemented with Letta☆23Aug 19, 2025Updated 6 months ago
- Activity Framework is a C++23 toolkit for composing reflective, asynchronous work: a lock-free task queue, work-stealing thread pool, pip…☆16Feb 12, 2026Updated 2 weeks ago
- Boost.Mustache☆10Jan 31, 2023Updated 3 years ago
- ☆13Apr 22, 2024Updated last year
- A tool for secret-shared passphrases.☆14Jan 17, 2022Updated 4 years ago
- AI-powered reverse engineering assistant for IDA Pro with multiple LLM support (Claude, OpenAI, Gemini).☆22Jan 29, 2026Updated 3 weeks ago
- Low latency lock free SPSC, SPMC, MPMC Queue and Stack. Fast SpinLock, SeqLock☆10Feb 5, 2024Updated 2 years ago
- FIX metadata model☆11Nov 18, 2015Updated 10 years ago
- ☆13Feb 11, 2026Updated 2 weeks ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- A plugin for IDA Pro and Cheat Engine to get the offset of the current module☆11May 30, 2024Updated last year
- Exposing the UN/CEFACT vocabulary as web semantics☆13Sep 13, 2024Updated last year
- Tracks cross references and allows fast viewing of pseudocode between references☆13Mar 10, 2025Updated 11 months ago
- Back to the Whiteboard: a Principled Approach for the Assessment and Design of Memory Forensic Techniques (Usenix '19)☆14Aug 16, 2019Updated 6 years ago
- OCaml parsers for multiple key formats☆15Aug 1, 2024Updated last year