Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Aisha Bushager
Modelling Smart Card Security Protocols in SystemC TLM
Related publications
Smart Card Programming and Security
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Security Issues in Smart Card Authentication Scheme
International Journal of Computer Theory and Engineering
TLM Platform Based on SystemC for Hybrid MSR Topology
International Journal of Computer Science Issues
Proving Transaction and System-Level Properties of Untimed SystemC TLM Designs
Formal Verification of Security Properties of Smart Card Embedded Source Code
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Study on Smart Card Security Evaluation Criteria for Side Channel Attacks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An ATM Security Measure for Smart Card Transactions to Prevent Unauthorized Cash Withdrawal
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Smart OpenID: A Smart Card Based OpenID Protocol
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Smart Grid Communication Protocols
International Journal of Trend in Scientific Research and Development