, "Proceedings of the Workshop on web applications and secure hardware (WASH 2013).", , 2013