EMVrace / EMVerify
A Tamarin model and analysis of EMV
☆28Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for EMVerify
- Implementation of the key recovery attack against GEA-1 keys (Eurocrypt 2021)☆47Updated 3 years ago
- Some tee/trustzone helper stuff☆49Updated 5 years ago
- ☆16Updated 6 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
- Blackbox tool to help understand what traditional and system Android applications do at runtime and assist in the identification of poten…☆9Updated 6 years ago
- ☆29Updated last week
- Slides and stuffs of the meetings during the 2020.☆16Updated 2 years ago
- Debugger with hardware breakpoints and memory watchpoints for BCM4339 Wi-Fi chips☆54Updated 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
- Some Proof-of-Concepts of bugs I found☆43Updated 5 years ago
- A tool that bypasses PN553 signature protection☆46Updated last year
- DIT is a DTLS MitM proxy implemented in Python 3. It can intercept, manipulate and suppress datagrams between two DTLS endpoints and supp…☆58Updated 2 years ago
- Research tools developed for Intel Wi-Fi chips☆49Updated 9 months ago
- Miscellaneous one-off scripts, exploits, tools, sample code, ...☆10Updated 5 years ago
- USB MTP device stack and utilities☆8Updated 8 years ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆20Updated 2 years ago
- The Damn Vulnerable Router Firmware Project☆30Updated 6 years ago
- ☆14Updated 4 years ago
- ☆22Updated 7 years ago
- Wireshark dissector for Broadcom specific H4 diagnostic commands☆23Updated last year
- Code for the AsiaCCS 2017 paper "Discovering Logical Vulnerabilities in the Wi-Fi Handshake using Model-Based Testing".☆13Updated 6 years ago
- Smartcard APDU interception and MITM for one smartcard model☆37Updated 6 years ago
- Proof-of-Concept Dictionary Attacker against IKEv1 PSK in Main Mode☆18Updated 4 years ago
- The Dumb Network Fuzzer☆19Updated last year
- BLEBoy is a training tool to teach users about BLE security by providing a single BLE peripheral that can be used to experiment with each…☆40Updated 5 years ago
- My progress through Google's 2020 CTF as a part of the CyberJanitorialSecurityServices team!☆19Updated 4 years ago
- Here be dragons. Or Slides. Or Papers. Or Nothing :)☆30Updated 5 years ago
- A repository teaching bss/data segment exploitation techniques.☆12Updated 5 years ago