Proceedings of the 6th ACM workshop on Formal methods in security engineering