Report on the NSF Workshop on Formal Methods for Security

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

arxiv: 1608.00678 · v2 · pith:V7TORT3Dnew · submitted 2016-08-02 · 💻 cs.CR · cs.LO

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 This is my paper

classification 💻 cs.CR cs.LO

keywords formalmethodsreportsecurityworkshopheldnovember

0 comments

read the original abstract

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

This paper has not been read by Pith yet.

Report on the NSF Workshop on Formal Methods for Security

discussion (0)