Mon 13 Jun 2016 10:30 - 11:15 at Santa Rosa East - Invited Talks Session II

The NSF workshop on Security and Formal Methods was held in November 2015. It brought together people with expertise ranging from core information security problems to the techniques of formal methods, with many flavors of overlap in between, with the goal of exploring research results and strategies to increase the security relevance and reach of contemporary formal methods.

In this talk, the co-chairs of the workshop will present a summary of the observations, conclusions, and recommendations of the workshop. We recommend developing an infrastructure of tools and reusable components– complemented by some ambitious large system efforts – in order to stimulate a cycle of capital investment in formalized security and visible payoffs. We also suggest several research challenges that may ignite the imagination and enthusiasm of the community and make significant advances towards using formal methods to secure computer systems. We will also seek feedback on a draft of the Workshop Report.

Mon 13 Jun

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Invited Talks Session IIFMS at Santa Rosa East
10:30
45m
Talk
Report on the NSF Workshop on Formal Methods for Security
FMS
Stephen Chong Harvard University, Joshua Guttman Worcester Polytechnic Institute
11:15
45m
Talk
Ironclad: Full Verification of Complex Systems
FMS