RFID Security and Privacy
7th International Workshop, RFIDsec 2011, Amherst, MA, USA, June 26-28, 2011, Revised Selected Papers
Published on 12. January 2012
X, 260 pages
978-3-642-25286-0 (ISBN)
Description
This book constitutes the thoroughly refereed post-worksop proceedings of the 7th International Workshop Radio Frequency Identification: Security and Privacy Issues. RFIDSec 2011, held in Amherst, Massachusetts, USA, in June 2011.
The 12 revised full papers presented were carefully reviewed and selected from 21 initial submissions for inclusion in the book. The papers focus on minimalism in cryptography, on-tag cryptography, securing RFID with physics, and protocol-level security in RFID.
More details
Other editions
Additional editions
Ari Juels | Christof Paar
RFID Security and Privacy
7th International Workshop, RFIDsec 2011, Amherst, MA, USA, June 26-28, 2011, Revised Selected Papers
Book
01/2012
1st Edition
Springer
€53.49
Shipment within 7-9 days
Persons
Content
- Intro
- Title Page
- Preface
- Organization
- Table of Contents
- KLEIN: A New Family of Lightweight Block Ciphers
- Introduction
- Specification of KLEIN
- Structure of KLEIN
- The Round Transformation
- Security Analysis
- Linear and Differential Attacks
- Key Schedule Attacks
- Integral Attack
- Algebraic Attack
- Side-Channel Attack
- Performance
- Conclusion
- References
- Appendix
- The Hummingbird-2 Lightweight Authenticated Encryption Algorithm
- Introduction
- Description of Hummingbird-2
- Nonlinear Functions f(x) and WD16(x, a, b, c, d)
- Initialization
- Encryption
- Authenticating Fixed-Length Unencrypted Associated Data
- Stream Cipher Mode: A Technique for Encoding Short Fixed-Length Fields
- Computing the Message Authentication Code
- Uniqueness Requirement for IVs and Keys
- Development and Analysis
- Structure of the Cipher
- S-Box Selection
- Differential Cryptanalysis
- Linear and Algebraic Cryptanalysis
- Implementation and Performance
- Microcontroller Software Implementations
- Hardware Implementations
- HB2 Timing Compatibility with ISO 18000-6C
- Conclusions
- References
- Test Vectors
- Elliptic Curve Cryptography on the WISP UHF RFID Tag
- Introduction
- Elliptic Curve Cryptography
- WISP UHF RFID Tag
- Hardware
- WISP Firmware
- Reader Setup and Programming Tools
- Implementation Details
- Elliptic Curve Cryptography Framework
- Finite-Field Arithmetic
- Elliptic-Curve Arithmetic
- Results
- Comparison with Related Work
- Conclusion
- References
- Exploring the Feasibility of Low Cost Fault Injection Attacks on Sub-threshold Devices through an Example of a 65nm AES Implementation
- Introduction
- Background
- The AES Cipher
- Related Work
- Target Architecture
- Chosen Attack Methodology
- Experimental Results
- Measurement Setup
- Performing the Attacks
- Conclusions
- References
- Side-Channel Analysis of Cryptographic RFIDs with Analog Demodulation
- Introduction
- Related Work
- Contribution of This Paper
- SCA of Contactless Smartcards
- Measurement Setup
- Measurement Process
- Analog Processing
- Digital Processing
- Practical Results
- Example: Mifare DESFire MF3ICD40
- Power Profiles of Different Contactless Smartcards
- Conclusion
- References
- Schematics
- A Novel RFID Distance Bounding Protocol Based on Physically Unclonable Functions
- Introduction
- Distance Bounding Protocols
- Physically Unclonable Functions (PUFs)
- Adversary Capabilities
- Adversary Capabilities for PUFs
- Adversary Capabilities for Distance Bounding Protocols
- Our First Protocol
- Protocol Descriptions
- Initialization.
- Verification.
- Security Analysis
- Mafia and terrorist fraud analysis.
- Distance fraud analysis.
- Our Extended Protocol
- Protocol Descriptions
- Security Analysis
- Conclusion
- References
- Security Analysis of Two Distance-Bounding Protocols
- Introduction
- Preliminaries
- Attack Types
- Adversarial Modeling
- Notations
- Assumptions
- The Hitomi Protocol
- Description
- Key Disclosure Attack
- The NUS Protocol
- Description
- Distance Fraud Attack
- Conclusions
- References
- An Automatic, Time-Based, Secure Pairing Protocol for Passive RFID
- Introduction
- System Model, Threat Model, and Challenges
- The Adopted-Pet (AP) Protocol
- Design Considerations
- The Bare Linear Feedback Shift Register
- The Nonlinear Combination Generator
- The Nonlinear Filter Generator
- The Shrinking Generator
- Security Analysis
- Linear-Complexity-Based Attacks
- Predictable Environments and Tag Tracking
- RFID Hardware Constraints
- Concluding Remarks
- References
- BUPLE: Securing Passive RFID Communication through Physical Layer Enhancements
- Introduction
- Problem Statement and Security Model
- Our Contributions
- Related Work
- Organization
- Preliminaries
- Backscattering for Passive RF Communication
- Availability of Uncoordinated Frequency Hopping in Passive RFID Systems
- Wiretap Channel
- BUPLE and Its Security
- BUPLE Scheme
- Security Analysis
- Enhanced BUPLE through Wiretap Channel Codes
- Parameterized WCCs from Linear Error Correcting Codes
- WCCs Constructed from Resilient Boolean Functions
- Visualize the Security of Proposed WCCs
- Proof-of-Concept Implementation and Testing
- Experiment Setup
- Our Implementation
- Conclusion
- References
- Wyner's Coset Coding
- A Scalable RFID Authentication Protocol Supporting Ownership Transfer and Controlled Delegation
- Introduction
- Contribution and Plan of This Article
- Related Work
- Ownership Transfer Model
- Previous Proposals
- Our Protocol
- System Environment
- Protocol Phases
- Initialization.
- Synchronized Identification Phase.
- Update Phase.
- Desynchronized Identification Phase.
- Controlled Delegation Phase.
- Owner Transfer Phase.
- Authorization Recovery.
- Protocol States
- Analysis
- Privacy
- Monitoring and Location.
- Security
- Denial of Service.
- Impersonation of Devices
- Ownership Transfer
- New Owner Privacy.
- Previous Owner Privacy.
- Authorization Recovery.
- Conclusions
- References
- Tables
- ROTIV: RFID Ownership Transfer with Issuer Verification
- Introduction
- RFID Ownership Transfer with Issuer Verification
- Entities
- RFID Ownership Transfer with Issuer Verification
- Problem Statement
- ROTIV
- Preliminaries
- ROTIV Description
- Privacy and Security Models
- Privacy
- Security
- Privacy and Security Analysis
- Privacy
- Security
- Related Work
- Conclusion
- References
- Hierarchical ECC-Based RFID Authentication Protocol
- Introduction
- RFID Groups
- Contributions and Outline
- Related Work
- Setting
- Notation
- Group Structure
- Hierarchical Authentication Protocol
- Security and Privacy Requirements
- Protocol Description
- Extension to n Levels of Subgroups
- Analysis
- Computational Assumptions
- Security Analysis
- Privacy Analysis
- Performance Results
- Conclusions and Future Work
- References
- ECC-Based Schnorr Authentication Protocol
- Author Index
