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.

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.

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.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com