Proceedings of the First International Workshop on Computational Methods for CyberSafety
ACM Digital Library