Publication:

Report on the NSF Workshop on Formal Methods for Security

Thumbnail Image

Open/View Files

6897521.pdf (224.81 KB)

Date

2016

Authors

Published Version

Published Version

https://dl.acm.org/citation.cfm?id=3040225

Journal Title

Journal ISSN

Volume Title

Publisher

National Science Foundation
The Harvard community has made this article openly available. Please share how this access benefits you.

Research Projects

Organizational Units

Journal Issue

Citation

Chong, Stephen, Joshua Guttman, Anupam Datta, Andrew Myers, Benjamin Pierce, Patrick Schaumont, Tim Sherwood, and Nickolai Zeldovich. 2016. "Report on the NSF workshop on formal methods for security." Technical report.

Abstract

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.

Description

Other Available Sources

Research Data

Keywords

Terms of Use

This article is made available under the terms and conditions applicable to Other Posted Material (LAA), as set forth at Terms of Service

URI

http://nrs.harvard.edu/urn-3:HUL.InstRepos:34604536

Collections

FAS Scholarly Articles

Endorsement

Review

Supplemented By

Related Stories