Proceedings of the fourth ACM workshop on Formal methods in security