EMVrace / EMVerify-PAN-routingView external linksLinks
A Tamarin model and analysis of EMV contactless
☆15Feb 16, 2021Updated 4 years ago
Alternatives and similar repositories for EMVerify-PAN-routing
Users that are interested in EMVerify-PAN-routing are comparing it to the libraries listed below
Sorting:
- A Tamarin model and analysis of EMV☆36Feb 8, 2021Updated 5 years ago
- This is the code for the Pluto framework to assess data exposure by an Android app to an advertising library. The framework was presented…☆13Jan 23, 2018Updated 8 years ago
- Project website☆15Jan 2, 2023Updated 3 years ago
- A 2-4h workshop on the Tamarin protocol verifier.☆22Jun 12, 2025Updated 8 months ago
- ☆34Oct 7, 2025Updated 4 months ago
- This is a custom integration for Home Assistant that allows you to control and monitor IRSAP radiators through AWS Cognito authentication…☆13Jul 7, 2025Updated 7 months ago
- A "symptoms -disease- prescription" dataset based on TCM textbooks was constructed. The dataset contains 343 categories of diseases,inclu…☆12Oct 27, 2022Updated 3 years ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆102Updated this week
- Cashapp is a mobile application for P2P money transactions which acts as e-cash based in escrow accounts. www.cashapp.mx☆14Mar 14, 2015Updated 10 years ago
- Digital advertising is becoming increasingly important. At the same time, however, the problems of this type of marketing are becoming mo…☆11Oct 4, 2022Updated 3 years ago
- PBRP/SHRP/OFR Tree for Galaxy A20s☆15Jul 5, 2021Updated 4 years ago
- LightFlow: An intuitive, user-friendly framework for optics and photonics simulations, designed for educational and research applications…☆12Sep 8, 2023Updated 2 years ago
- Multiple ANOVA with Tukey Test to create an athleisure clothing ad campaign strategy using Google, Youtube, and Amazon search volume data…☆10Jul 7, 2020Updated 5 years ago
- Sources of the EuroProofNet web site.☆13Feb 2, 2026Updated last week
- Media around Buildbot - images, slides, papers, etc.☆13Oct 6, 2019Updated 6 years ago
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- Experimental hostapd/wpa_supplicant that allows automatic MACsec channel establishment☆11Sep 5, 2017Updated 8 years ago
- 💰Buy over 2000 Cryptocurrency and pay with Visa, MasterCard, or Bank Transfer or with more than 50 other currencies.☆13Aug 2, 2023Updated 2 years ago
- Chrome App that talks to Android host-based card emulation application.☆11Nov 21, 2014Updated 11 years ago
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆18Nov 24, 2017Updated 8 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 3 years ago
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 3 years ago
- Deprecated Setup script for installing Bitcoin Core to Tails persistent storage. See github.com/BenWestgate/bails for its sucessor projec…☆11May 17, 2025Updated 8 months ago
- The heart!☆11Jul 21, 2024Updated last year
- Why NETCOIN (NET) Netcoin, like anything else in the world, is “worth” what we as a species value it to be. Which, of course then begs t…☆13Jul 12, 2016Updated 9 years ago
- funky fun fuzzer☆11Jul 6, 2021Updated 4 years ago
- Card emulator and test kit for Trip Reader☆15Sep 30, 2024Updated last year
- Mirror of NetBSD sources useful with rump kernels☆13Mar 23, 2017Updated 8 years ago
- Public repository of the data, scripts and methodology presented in the paper "Towards On-Board SAR Processing with FPGA Accelerators and…☆12Apr 12, 2023Updated 2 years ago
- Arduino code for Nitramite Nuclear Radiation Detector Android application.☆14Mar 4, 2023Updated 2 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- CVE-2023-40028 affects Ghost, an open source content management system, where versions prior to 5.59.1 allow authenticated users to uploa…☆12Jan 7, 2025Updated last year
- Provides bitcoin cash-specific convenience functions and types☆11Dec 5, 2025Updated 2 months ago
- Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits☆11Jul 17, 2025Updated 6 months ago
- A simple sketch that allows connecting to a public/private mqtt broker via the cellular network, and send data in JSON format.☆16May 7, 2021Updated 4 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Apr 19, 2023Updated 2 years ago