A Flexible Software Development and Emulation Framework for ARM TrustZone.- Mass Transit Ticketing with NFC Mobile Phones.- Some Improvements to the Cost-Based Framework for Analyzing.- Denial of Service Attacks.- Fault Detection of the MacGuffin Cipher against Differential Fault Attack.- Computationally Sound Symbolic Analysis of EAP-TNC Protocol.- A Technique for Remote Detection of Certain Virtual Machine Monitors.- Indifferentiability of Domain Extension Modes for Hash Functions.