Report on the NSF Workshop on Formal Methods for Security

Stephen Chong; Joshua Guttman; Anupam Datta; Andrew Myers; Benjamin Pierce; Patrick Schaumont; Tim Sherwood; Nickolai Zeldovich

Report on the NSF Workshop on Formal Methods for Security

Cryptography and Security 2016-08-04 v2 Logic in Computer Science

Authors: Stephen Chong , Joshua Guttman , Anupam Datta , Andrew Myers , Benjamin Pierce , Patrick Schaumont , Tim Sherwood , Nickolai Zeldovich

View on arXiv ↗ PDF ↗

Abstract

Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.

Cite

@article{arxiv.1608.00678,
  title  = {Report on the NSF Workshop on Formal Methods for Security},
  author = {Stephen Chong and Joshua Guttman and Anupam Datta and Andrew Myers and Benjamin Pierce and Patrick Schaumont and Tim Sherwood and Nickolai Zeldovich},
  journal= {arXiv preprint arXiv:1608.00678},
  year   = {2016}
}