Proceedings of the fourth ACM workshop on Formal methods in security
ACM Digital Library