Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: The SmartLogic Tool: Analysing and Testing Smart Card Protocols
the smart card detective : a hand - held emv interceptor .
Athena: a new efficient automatic checker for security protocol analysis
A Language-Independent Approach to Smart Contract Verification
IMPLEMENTING ELLIPTIC CURVE CRYPTOGRAPHY ON PC AND SMART CARD
Breaking mifare DESFire MF3ICD40: power analysis and templates in the real world
Ciphertext-only Cryptanalysis on Hardened Mifare Classic Cards
Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
ASPIER: An Automated Framework for Verifying Security Protocol Implementations
Managing Medical and Insurance Information Through a Smart-Card-Based Information System
ReverX: Reverse Engineering of Protocols
Mining Smart Card Data for Travellers’ Mini Activities
Efficient symbolic execution for analysing cryptographic protocol implementations
Cryptanalysis of a novel ultra-lightweight mutual authentication protocol for IoT devices using RFID tags
Mining public transport user behaviour from smart card data
Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation
Eavesdropping near-field contactless payments: a quantitative analysis
Formal verification of security protocol implementations: a survey
SASI: A New Ultralightweight RFID Authentication Protocol Providing Strong Authentication and Strong Integrity
Credit card fraud and detection techniques : a review
Understanding the consumer: Multi-modal market research on consumer attitudes in Germany towards lightweight furniture and lightweight materials in furniture design
A Novel Control Scheme of Synchronous Buck Converter for ZVS in Light-Load Condition
Chip and PIN is Broken
simulation of energy recycling technique for an electric scooter using matlab / simulink environment .
A circularly-polarized aperture array antenna with a corporate-feed hollow-waveguide circuit in the 60 GHz-band