Implications of Artificial Intelligence for Cybersecurity: Proceedings of a Workshop