TY  - RPRT
TI  - Report on the NSF Workshop on Formal Methods for Security
AU  - Stephen Chong
AU  - Joshua Guttman
AU  - Anupam Datta
AU  - Andrew Myers
AU  - Benjamin Pierce
AU  - Patrick Schaumont
AU  - Tim Sherwood
AU  - Nickolai Zeldovich
PY  - 2016
UR  - https://arxiv.org/abs/1608.00678
ID  - 1608.00678
ER  -