EMVrace / EMVerifyLinks
A Tamarin model and analysis of EMV
☆33Updated 4 years ago
Alternatives and similar repositories for EMVerify
Users that are interested in EMVerify are comparing it to the libraries listed below
Sorting:
- Implementation of the key recovery attack against GEA-1 keys (Eurocrypt 2021)☆49Updated 3 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 years ago
- My progress through Google's 2020 CTF as a part of the CyberJanitorialSecurityServices team!☆21Updated 4 years ago
- BlueRepli-Plus☆17Updated 5 years ago
- Solutions to https://cryptopals.com problems☆29Updated 2 months ago
- ☆20Updated 3 years ago
- CSAW Embedded Security Challenge 2019☆34Updated 5 years ago
- Here be dragons. Or Slides. Or Papers. Or Nothing :)☆33Updated 6 years ago
- Research tools developed for Intel Wi-Fi chips☆55Updated last month
- Repository for the Framing Frames publication: security context and transmit queue manipulations, client isolation bypasses, and more.☆47Updated 2 years ago
- Awesome list for baseband modem resources.☆12Updated 7 years ago
- Tools for exploiting, reverse engineering, and deploying firmware to the S3FWRN5 and S3NRN82 Samsung NFC Controllers☆98Updated 4 years ago
- Smartcard APDU interception and MITM for one smartcard model☆39Updated 7 years ago
- Scripts to clone CA certificates for use in HTTPS client attacks.☆36Updated 5 years ago
- Slides and stuffs of the meetings during the 2020.☆16Updated 3 years ago
- Some tee/trustzone helper stuff☆54Updated 5 years ago
- Proof-of-Concept Dictionary Attacker against IKEv1 PSK in Main Mode☆18Updated 5 years ago
- VM demonstration various symlink and hard link attacks against secure boot. See the whitepaper at: https://www.anvilventures.com/blog/def…☆13Updated 4 years ago
- Conferences, tools, papers, etc.☆43Updated last month
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆20Updated 3 years ago
- Code for the AsiaCCS 2017 paper "Discovering Logical Vulnerabilities in the Wi-Fi Handshake using Model-Based Testing".☆13Updated 6 years ago
- Exercises for (legacy) Computer Security course in the University of Oulu☆45Updated 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 3 years ago
- ☆26Updated 3 years ago
- ☆13Updated 4 years ago
- Android privilege escalation via an use-after-free in binder.c☆39Updated 5 years ago
- Piotr - IoT firmware emulation instrumentation for training and research☆64Updated 2 years ago
- Zigator: A security analysis tool for Zigbee and Thread networks☆32Updated 2 years ago
- X41 Smartcard Fuzzer☆119Updated 6 years ago
- Ledger Donjon CTF 2020☆17Updated 3 years ago