GitHub repository: EMVrace/EMVerify
Primary language: HTML
Description: A Tamarin model and analysis of EMV