EMVrace / EMVerify
A Tamarin model and analysis of EMV
☆30Updated 4 years ago
Alternatives and similar repositories for EMVerify:
Users that are interested in EMVerify are comparing it to the libraries listed below
- Implementation of the key recovery attack against GEA-1 keys (Eurocrypt 2021)☆48Updated 3 years ago
- Some tee/trustzone helper stuff☆51Updated 5 years ago
- VM demonstration various symlink and hard link attacks against secure boot. See the whitepaper at: https://www.anvilventures.com/blog/def…☆14Updated 4 years ago
- Here be dragons. Or Slides. Or Papers. Or Nothing :)☆31Updated 6 years ago
- Proof-of-Concept Dictionary Attacker against IKEv1 PSK in Main Mode☆18Updated 5 years ago
- ☆16Updated 6 years ago
- Code for the AsiaCCS 2017 paper "Discovering Logical Vulnerabilities in the Wi-Fi Handshake using Model-Based Testing".☆13Updated 6 years ago
- A tool that bypasses PN553 signature protection☆48Updated last year
- ☆20Updated 3 years ago
- USB MTP device stack and utilities☆8Updated 8 years ago
- Awesome list for baseband modem resources.☆12Updated 6 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…☆32Updated 2 years ago
- A repository teaching bss/data segment exploitation techniques.☆13Updated 5 years ago
- nü-map: a somewhat-more-modern (expeirmental) derivative of umap2 for modern FaceDancer☆24Updated last year
- Zigator: A security analysis tool for Zigbee and Thread networks☆30Updated last year
- Slides(In both CN and EN) & WP(outdated) of my topic in HITCON 2019 about bug hunting in Android NFC☆15Updated 5 years ago
- Debugger for the Shannon Baseband☆58Updated 4 years ago
- The Damn Vulnerable Router Firmware Project☆30Updated 7 years ago
- Wireshark dissector for Broadcom specific H4 diagnostic commands☆23Updated 2 years ago
- DIT is a DTLS MitM proxy implemented in Python 3. It can intercept, manipulate and suppress datagrams between two DTLS endpoints and supp…☆58Updated 3 years ago
- Debugger with hardware breakpoints and memory watchpoints for BCM4339 Wi-Fi chips☆55Updated 7 years ago
- BlueRepli-Plus☆16Updated 4 years ago
- Research tools developed for Intel Wi-Fi chips☆51Updated last year
- ☆20Updated 3 years ago
- Slides and stuffs of the meetings during the 2020.☆16Updated 3 years ago
- ☆30Updated 4 months ago
- Read out-of-bounds PoC for miniupnpd <= v2.1☆21Updated 6 years ago
- Frida FDE bruteforce Samsung S7 Edge☆48Updated 5 years ago
- Patches the popular rooting framework SuperSU to evade common root detections. This is done by renaming binaries / references to break si…☆42Updated 3 years ago
- ☆16Updated 8 years ago