“...ACM Workshop on Formal Methods in Security Engineering...”