Formal Methods for Security and Privacy (FMSP)Formal Methods for Security and Privacy (FMSP)AboutOur researchMembersUpdatesPublicationsPress clippings