Proceedings of the 2013 New Security Paradigms Workshop
ACM Digital Library