Report on the NSF Workshop on Formal Methods for Security

Figshare Admin Nsf
The NSF workshop on Security and Formal Methods, held 19–20 November 2015, brought together developers of formal methods, researchers exploring how to apply formal methods to various kinds of systems, and people familiar with the security problem space. Participants were drawn from universities, industry research organizations, government, and a selected pool of scientists from foreign institutions. We explored how current research results and strategies can provide improved secure systems using contemporary formal methods, and how...
This data center is not currently reporting usage information. For information on how your repository can submit usage information, please see our Documentation.