Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems

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.