Secretgrind: a Valgrind analysis tool to detect secrets in memory
☆63Jan 16, 2017Updated 9 years ago
Alternatives and similar repositories for secretgrind
Users that are interested in secretgrind are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Constant-time choose between two variables in Clang/LLVM☆21Apr 14, 2018Updated 8 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆266Jul 20, 2026Updated 3 months ago
- [work in progress] Python framework for supporting cryptographic game-hopping proofs☆13Oct 19, 2022Updated 4 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 7 years ago
- Python wrapper for http://nacl.cace-project.eu/☆30Nov 8, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Clang/LLVM patches to zero stack/registers of sensitive functions☆16Apr 14, 2018Updated 8 years ago
- rune - radare2 based symbolic emulator☆27Aug 29, 2017Updated 9 years ago
- ☆12Jan 7, 2017Updated 9 years ago
- Notes relating to secure messaging☆21Jun 11, 2016Updated 10 years ago
- QubesOS dom0 automation in Python☆13Aug 3, 2017Updated 9 years ago
- "control-port-filter" without the bash☆14Jun 4, 2016Updated 10 years ago
- Constant-Time Toolkit☆300Aug 29, 2018Updated 8 years ago
- Proof-of-concept implementation of a cryptographic multilinear maps on the integers☆13Sep 23, 2021Updated 5 years ago
- go package for indexing and querying certain aspects of bgp dumps and some other things.☆13Mar 30, 2017Updated 9 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.
- r1 book transcription to r2☆12Feb 26, 2018Updated 8 years ago
- ☆10Dec 24, 2018Updated 7 years ago
- Efficient Multi-threaded Binary Code Control Flow Profiling Pintool☆23Jul 30, 2016Updated 10 years ago
- Challenge Bypass using the Ristretto group☆42Oct 20, 2026Updated 2 weeks ago
- Linux crash harness with runtime process instrumentation☆23Nov 7, 2020Updated 6 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆47Nov 11, 2020Updated 5 years ago
- Naehrig, Niederhagen and Schwabe's pairings code, massaged into a shared library.☆19Apr 19, 2016Updated 10 years ago
- %%cffi cell magic for ipython.☆14Aug 22, 2018Updated 8 years ago
- Checking that functions are constant time with Valgrind☆205Feb 26, 2017Updated 9 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- CTF exploit development and other tools of pwnage☆18May 30, 2019Updated 7 years ago
- Repo for DTLS 1.3☆33Updated this week
- Presentations about R1CS☆19May 1, 2019Updated 7 years ago
- Universal Trace Debugger Engine. Currently, only support windbg on Windows, but the long term goal is to also support GDB or LLDB☆13Dec 30, 2013Updated 12 years ago
- An implementation of ATProto's Merkle Search Tree☆17Apr 29, 2023Updated 3 years ago
- Side-channel Analysis☆20May 17, 2022Updated 4 years ago
- Tracks runtime instruction execution in Linux programs☆36Aug 25, 2013Updated 13 years ago
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆16Jan 9, 2022Updated 4 years ago
- A framework for BREACH and other compression-based crypto attacks☆238Feb 11, 2020Updated 6 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.
- ☆37Mar 20, 2017Updated 9 years ago
- Basic x86 Symbolic Execution for educational purposes☆18May 8, 2017Updated 9 years ago
- Golang Library to interact with your MISP instance☆23Sep 12, 2019Updated 7 years ago
- ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).☆56Mar 22, 2016Updated 10 years ago
- Tor support for apt☆50Jul 5, 2016Updated 10 years ago
- An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3☆11Mar 12, 2016Updated 10 years ago
- Encrypt files using Cryptobox and SSH keys.☆17Oct 28, 2013Updated 13 years ago