Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security