7. WISTP 2013: Heraklion, Greece
Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems, 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings
Lorenzo Cavallaro, Dieter Gollmann
Springer, Lecture Notes in Computer Science 7886, ISBN: 978-3-642-38529-2, 978-3-642-38530-8
Contents
Cryptography and Cryptanalysis
Multiplicative Homomorphic E-Auction with Formally Provable Security.
Kun Peng, Matt Henricksen
1-17
Malleable Signatures for Resource Constrained Platforms.
Henrich Christopher Pöhls, Stefan Peters, Kai Samelin, Joachim Posegga, Hermann de Meer
18-33
Cryptographic Key Exchange in IPv6-Based Low Power, Lossy Networks.
Panagiotis Ilia, George C. Oikonomou, Theo Tryfonas
34-49
Mobile Security
URANOS: User-Guided Rewriting for Plugin-Enabled ANdroid ApplicatiOn Security.
Daniel Schreckling, Stephan Huber, Focke Höhne, Joachim Posegga
50-65
Online Banking with NFC-Enabled Bank Card and NFC-Enabled Smartphone.
Max Günther, Bernd Borchert
66-81
Smart Cards and Embedded Devices
A Defensive Virtual Machine Layer to Counteract Fault Attacks on Java Cards.
Michael Lackner, Reinhard Berlach, Wolfgang Raschke, Reinhold Weiss, Christian Steger
82-97
A Forward Privacy Model for RFID Authentication Protocols.
Daisuke Moriyama, Miyako Ohkubo, Shin'ichiro Matsuo
98-111