Proceedings of the 2013 ACM workshop on Artificial intelligence and security