IFIP TC6 Open Digital Library

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


Cryptography and Cryptanalysis

Multiplicative Homomorphic E-Auction with Formally Provable Security.

Kun Peng, Matt Henricksen


Malleable Signatures for Resource Constrained Platforms.

Henrich Christopher Pöhls, Stefan Peters, Kai Samelin, Joachim Posegga, Hermann de Meer


Cryptographic Key Exchange in IPv6-Based Low Power, Lossy Networks.

Panagiotis Ilia, George C. Oikonomou, Theo Tryfonas


Mobile Security

URANOS: User-Guided Rewriting for Plugin-Enabled ANdroid ApplicatiOn Security.

Daniel Schreckling, Stephan Huber, Focke Höhne, Joachim Posegga


Online Banking with NFC-Enabled Bank Card and NFC-Enabled Smartphone.

Max Günther, Bernd Borchert


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


A Forward Privacy Model for RFID Authentication Protocols.

Daisuke Moriyama, Miyako Ohkubo, Shin'ichiro Matsuo


On Secure Embedded Token Design.

Simon Hoerder, Kimmo Järvinen, Daniel Page


Lightweight Authentication Protocol for Low-Cost RFID Tags.

Pierre Dusart, Sinaly Traoré