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:
- This repository contains a set of InternalBlue patches for the BCM4375B1 Bluetooth controller, allowing to sniff and inject Zigbee, Mosar…☆22Updated 4 years ago
- A reference of the different types of access control card readers and which countries they're commonly found in☆18Updated 2 years ago
- Smartcard APDU interception and MITM for one smartcard model☆39Updated 7 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 3 years ago
- Android App that genereates passcode authentication codes for Postfinance cards☆10Updated 3 years ago
- iClass / Picopass tool for libnfc☆59Updated 4 years ago
- nü-map: a somewhat-more-modern (expeirmental) derivative of umap2 for modern FaceDancer☆28Updated last year
- Brutally optimizing guess-and-determine attacks https://www.usenix.org/conference/woot18/presentation/verstegen☆42Updated 7 years ago
- The BUSSide Badge☆48Updated 3 years ago
- Android application allowing to sniff and inject Zigbee, Mosart and Enhanced ShockBurst packets on a Samsung Galaxy S20☆65Updated 4 years ago
- Implementations of the GEA-1 and GEA-2 (GPRS Encryption Algorithm) stream ciphers in C, Python and Rust.☆18Updated 3 years ago
- Hardware design files for the PMOD based MUX☆13Updated 6 years ago
- ProxmarkIII mods and designs made for the wild☆13Updated 9 years ago
- Wiegand data logger, replay device and micro door-controller☆13Updated last year
- Minimal UART client in Golang that dumps LPC1343 chips that are locked at CRP1.☆20Updated 4 years ago
- A windows client using libnfc to interface with the Mifare Super-card☆26Updated 7 years ago
- DFF (Digital Forensics Framework)☆11Updated 4 years ago
- ☆25Updated 6 months ago
- Albums for the Illustrated RFID gallery☆36Updated 3 months ago
- The Android app for scanning GSM networks with OsmocomBB-compatible phones☆12Updated 4 years ago
- Learn to do something new with GreatFET!☆64Updated 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
- RF430FRL152H examples for NFC Type V in Kicad and C.☆75Updated 5 years ago
- NFC MiTM made with two PN532 readers and a Raspberry Pi.☆31Updated 10 months ago
- Timing Sidechannel workshop☆30Updated 11 years ago
- ☆26Updated 3 years ago
- a library to help you do Great things☆34Updated 4 months ago
- This package allows interaction with nRF24LU1+ based dongles and the RFStorm firmware.☆23Updated 6 years ago
- OpenBTS-UMTS reloaded 2024. Compatibility with latest UHD drivers, several fixes and updated install documentation for Ubuntu 22.04☆60Updated last year
- Simple voltage glitcher implementation for the iCEBreaker FPGA board☆17Updated 5 years ago