Main Artifacts

Below is a list of the main artifacts produced from the paper. Click on either to view more info.

• EMVResilienceChecker: This folder contains the code for EMVResilienceChecker.

• tamarin: This folder contains the Tamarin model.

Reference

If you find this project useful, please cite our IEEE S&P 2026 paper: Secret State Leakage Attacks and Their Impacts on EMV Contactless Payment Apps.

@inproceedings{chen2026secret,
  title={Secret State Leakage Attacks and Their Impacts on EMV Contactless Payment Apps},
  author = {Chen, Jesse and Yang, Rubin Yuchan and Musa, Ahmad and Hussain, Syed Rafiul and Chowdhury, Omar Haider and Rahaman, Sazzadur},,
  booktitle={2026 IEEE Symposium on Security and Privacy (SP)},
  year={2026},
  organization={IEEE}
}