Automatic Identification of Cryptographic Primitives in Software
☆32Mar 14, 2015Updated 11 years ago
Alternatives and similar repositories for kerckhoffs
Users that are interested in kerckhoffs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆41May 23, 2017Updated 9 years ago
- Compiler Fingerprinting☆14Apr 24, 2015Updated 11 years ago
- ☆57Oct 15, 2020Updated 5 years ago
- PoC code for CVE-2018-15499 (exploit race condition for BSoD)☆11Aug 23, 2018Updated 7 years ago
- ☆90Jul 5, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Interactive hacking toolkit.☆14Oct 17, 2018Updated 7 years ago
- Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).☆35Oct 23, 2017Updated 8 years ago
- System call fuzzing of OpenBSD amd64 using TriforceAFL (i.e. AFL and QEMU)☆46Dec 1, 2017Updated 8 years ago
- Public repository of the dynamic binary analysis framework WEASEL. WEASEL's main purpose is the identification and elimination of backdoo…☆15Nov 10, 2020Updated 5 years ago
- ☆11Sep 5, 2019Updated 6 years ago
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆20May 13, 2018Updated 8 years ago
- ☆43Aug 9, 2018Updated 7 years ago
- FoC☆17Jul 20, 2025Updated 10 months ago
- Z3 Symbolic Execution python☆28Dec 28, 2017Updated 8 years 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.
- Implementation of differential fuzz testing for TLS handshake messages☆12Jul 2, 2021Updated 4 years ago
- A DL compiler fuzzer☆14Nov 1, 2024Updated last year
- ☆14Mar 8, 2023Updated 3 years ago
- A prototype system call fuzzer.☆14Apr 16, 2017Updated 9 years ago
- Examples for NASAC 2019 interrupt race detection competition☆10Dec 4, 2019Updated 6 years ago
- Software Analysis and Verification Group☆15Apr 29, 2026Updated last month
- ☆87Jun 5, 2015Updated 10 years ago
- ☆22Aug 29, 2023Updated 2 years ago
- A curated list of Hardware Hacking resources☆12Apr 14, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Static Cross-Entry UAF Detector☆26Apr 28, 2025Updated last year
- Simple shellcode decoder using unicorn-engine☆100Oct 17, 2015Updated 10 years ago
- Showing entropy analysis examples for different data types. example.sh was used to generate. It utilizes cyphunks libdisorder branch and …☆13Dec 24, 2014Updated 11 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Feb 9, 2023Updated 3 years ago
- Replication package for Mining Input Grammars From Dynamic Control Flow☆27Aug 14, 2020Updated 5 years ago
- 该资源主要为基本安全软件，主要方便大家☆17Mar 18, 2020Updated 6 years ago
- Run fuzzing experiments in Docker☆32Mar 17, 2021Updated 5 years ago
- ☆16Jun 21, 2024Updated last year
- A comprehensive all-in-one Python-based Proof of Concept script to discover and exploit a critical authentication bypass vulnerability (C…☆11May 26, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- "ScreenCapture for FFmpeg" DirectShow Filter☆54Jul 26, 2023Updated 2 years ago
- Here be dragons. Or Slides. Or Papers. Or Nothing :)☆33Feb 5, 2019Updated 7 years ago
- ☆27Jan 27, 2017Updated 9 years ago
- Code for UI, backend, engine and statistical analysis for RE☆23Aug 7, 2021Updated 4 years ago
- HardenedBSD Security Administration☆29Nov 21, 2020Updated 5 years ago
- ☆10Jul 29, 2025Updated 10 months ago
- A system to record malware using PANDA☆45May 20, 2019Updated 7 years ago