Benjamin Pierce

Identifiers

No identifiers captured yet.

Papers (1)

1. Report on the NSF Workshop on Formal Methods for Security cs.CR · 2016 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Andrew Myers 1 shared papers
• Anupam Datta 1 shared papers
• Joshua Guttman 1 shared papers
• Nickolai Zeldovich 1 shared papers
• Patrick Schaumont 1 shared papers
• Stephen Chong 1 shared papers
• Tim Sherwood 1 shared papers