tinylabs / crypto-sat-solveLinks
Python framework to solve crypto problems using grainofsalt and cryptominisat
☆14Updated 3 years ago
Alternatives and similar repositories for crypto-sat-solve
Users that are interested in crypto-sat-solve are comparing it to the libraries listed below
Sorting:
- A reference of the different types of access control card readers and which countries they're commonly found in☆18Updated 3 years ago
- Smartcard APDU interception and MITM for one smartcard model☆38Updated 7 years ago
- This repository contains a set of InternalBlue patches for the BCM4375B1 Bluetooth controller, allowing to sniff and inject Zigbee, Mosar…☆23Updated 4 years ago
- This tool emulates an EMV-CAP device, to illustrate the article "Banque en ligne : à la decouverte d'EMV-CAP" published in MISC, issue #5…☆33Updated 2 months ago
- Android App that genereates passcode authentication codes for Postfinance cards☆11Updated 3 years ago
- nü-map: a somewhat-more-modern (expeirmental) derivative of umap2 for modern FaceDancer☆29Updated 2 years ago
- iClass / Picopass tool for libnfc☆61Updated 4 years ago
- ProxmarkIII mods and designs made for the wild☆13Updated 9 years ago
- The BUSSide Badge☆48Updated 3 years ago
- The Android app for scanning GSM networks with OsmocomBB-compatible phones☆13Updated 4 years ago
- Implementations of the GEA-1 and GEA-2 (GPRS Encryption Algorithm) stream ciphers in C, Python and Rust.☆17Updated 3 years ago
- Wiegand data logger, replay device and micro door-controller☆14Updated 2 years ago
- HackRF / RTLSDR Spectrum Scanning Interface (WIP)☆29Updated 9 years ago
- ApiMote IEEE 802.15.4/ZigBee Sniffing Hardware☆87Updated 11 years ago
- Timing Sidechannel workshop☆30Updated 12 years ago
- Brutally optimizing guess-and-determine attacks https://www.usenix.org/conference/woot18/presentation/verstegen☆44Updated 7 years ago
- ☆11Updated 2 years ago
- A windows client using libnfc to interface with the Mifare Super-card☆28Updated 7 years ago
- Hardware design files for the PMOD based MUX☆13Updated 6 years ago
- Documentation for the Curious Bolt hardware hacking multi-tool☆15Updated last year
- Flash-BASH is a Raspberry Pi based tool that uses a multiplexer to "glitch" a target device into a privileged open state.☆28Updated 4 years ago
- Small Linux command-line tool to "ping" 802.11 devices☆28Updated 13 years ago
- Open tools for side-channel analysis and related techniques. Currently, this repository contains: 1) A near-field EM probe amplifier circ…☆37Updated 11 years ago
- Fault Injection Research and Resources☆20Updated 2 years ago
- BLESuite_CLI is a command line tool to enable an easier way to test Bluetooth Low Energy (BLE) devices☆33Updated 9 years ago
- OpenBTS-UMTS reloaded 2024. Compatibility with latest UHD drivers, several fixes and updated install documentation for Ubuntu 22.04☆60Updated last year
- TokenGet is a tool to intercept Samsung Pay tokens using a credit card reader and a raspberry zero.☆25Updated 9 years ago
- Albums for the Illustrated RFID gallery☆37Updated 7 months ago
- swiss army knife of ISM RF!☆24Updated 8 years ago
- Android application allowing to sniff and inject Zigbee, Mosart and Enhanced ShockBurst packets on a Samsung Galaxy S20☆67Updated 4 years ago