Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems [recurso electrónico] 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings

This volume constitutes the refereed proceedings of the 7th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Mobile Devices in Wireless Communication, WISTP 2013, held in Heraklion, Crete, Greece, in May 2013. The 9 revised full papers presented together with two keynote speeches were carefully reviewed and selected from 19 submissions. The scope of the workshop spans the theoretical aspects of cryptography and cryptanalysis, mobile security, smart cards and embedded devices. Front Matter....Pages - Multiplicative Homomorphic E-Auction with Formally Provable Security....Pages 1-17 Malleable Signatures for Resource Constrained Platforms....Pages 18-33 Cryptographic Key Exchange in IPv6-Based Low Power, Lossy Networks....Pages 34-49 URANOS: User-Guided Rewriting for Plugin-Enabled ANdroid ApplicatiOn Security....Pages 50-65 Online Banking with NFC-Enabled Bank Card and NFC-Enabled Smartphone....Pages 66-81 A Defensive Virtual Machine Layer to Counteract Fault Attacks on Java Cards....Pages 82-97 A Forward Privacy Model for RFID Authentication Protocols....Pages 98-111 On Secure Embedded Token Design....Pages 112-128 Lightweight Authentication Protocol for Low-Cost RFID Tags....Pages 129-144 Back Matter....Pages - Cryptography and Cryptanalysis Multiplicative Homomorphic E-Auction with Formally Provable Security Malleable Signatures for Resource Constrained Platforms Cryptographic Key Exchange in IPv6-Based Low Power, Lossy Networks Mobile Security URANOS: User-Guided Rewriting for Plugin-Enabled Android ApplicatiOn Security Online Banking with NFC-Enabled Bank Card and NFC-Enabled Smartphone Smart Cards and Embedded Devices A Defensive Virtual Machine Layer to Counteract Fault Attacks on Java Cards A Forward Privacy Model for RFID Authentication Protocols On Secure Embedded Token Design: Quasi-looped Yao Circuits and Bounded Leakage Lightweight Authentication Protocol for Low-Cost RFID Tags.