While the fields of security and of formal methods/programming languages are thriving areas of computer science, the communities are mostly disjoint, and though there are several formal techniques used for ensuring security, there is no systematic use of emerging powerful formal techniques in security.

The goal of this workshop is to bring together researchers from both communities in order to have them learn about the important problems and relevant techniques in each field, to foster collaboration leading to applying “cutting edge” formal techniques in security. We will have no refereed papers, but have invited talks from people who have successfully bridged these fields and on topics that highlight important problems in security (systems security, information security, malware, etc.) that could benefit from formal techniques (programming language paradigms, verification, model-checking, efficient constraint solving, synthesis, etc.).

The workshop will consist of mainly invited talks, discussion sections on specialized topics, and panel discussions.

Confirmed invited speakers: (incomplete)

  • Scalable Security Analysis of Android Apps
    Gogul Balakrishnan, Google
  • Report on the NSF Workshop on Formal Methods for Security
    Stephen Chong, Harvard University and Joshua Guttman
  • Privacy and Algorithmic Accountability
    Anupam Dutta, CMU
  • Verifying Constant-Time Implementations
    Michael Emmi, Bell Labs
  • Ironclad: Full Verification of Complex Systems
    Bryan Parno, Microsoft Research, Redmond
  • Mon 13 Jun

    FMS-2016-papers
    09:00 - 10:00: FMS - Invited Talks Session I at Santa Rosa East
    FMS-2016-papers146580120000009:00 - 09:15
    Day opening
    FMS-2016-papers146580210000009:15 - 10:00
    Talk
    FMS-2016-papers
    10:30 - 12:00: FMS - Invited Talks Session II at Santa Rosa East
    FMS-2016-papers146580660000010:30 - 11:15
    Talk
    FMS-2016-papers146580930000011:15 - 12:00
    Talk
    FMS-2016-papers
    13:30 - 15:00: FMS - Invited Talks Session III at Santa Rosa East
    FMS-2016-papers146581740000013:30 - 14:15
    Talk
    FMS-2016-papers146582010000014:15 - 15:00
    Talk
    FMS-2016-papers
    15:30 - 17:00: FMS - Breakout sessions and Panel Discussions at Santa Rosa East
    FMS-2016-papers146582460000015:30 - 16:15
    Other
    FMS-2016-papers146582730000016:15 - 17:00
    Other

    About FMS

    While the fields of security and of formal methods/programming languages are thriving areas of computer science, the communities are mostly disjoint, and though there are several formal techniques used for ensuring security, there is no systematic use of emerging powerful formal techniques in security.

    The goal of this workshop is to bring together researchers from both communities in order to have them learn about the important problems and relevant techniques in each field, to foster collaboration leading to applying “cutting edge” formal techniques in security. We will have no refereed papers, but have invited talks from people who have successfully bridged these fields and on topics that highlight important problems in security (systems security, information security, malware, etc.) that could benefit from formal techniques (programming language paradigms, verification, model-checking, efficient constraint solving, synthesis, etc.).

    The workshop will consist of mainly invited talks, discussion sections on specialized topics, and panel discussions.

    Confirmed invited speakers: (incomplete)

  • Scalable Security Analysis of Android Apps
    Gogul Balakrishnan, Google
  • Report on the NSF Workshop on Formal Methods for Security
    Stephen Chong, Harvard University and Joshua Guttman
  • Privacy and Algorithmic Accountability
    Anupam Dutta, CMU
  • Verifying Constant-Time Implementations
    Michael Emmi, Bell Labs
  • Ironclad: Full Verification of Complex Systems
    Bryan Parno, Microsoft Research, Redmond