◍wovepaper
SearchResearchersInstitutions
Sign in
cs.CRAug 3, 2016
25
citations (OpenAlex)
authors
  • Stephen Chong
  • Joshua Guttman
  • Anupam Datta
  • Andrew Myers
  • Benjamin Pierce
  • Patrick Schaumont
  • Tim Sherwood
  • Nickolai Zeldovich
institutions
  • California University of Pennsylvania
  • Carnegie Mellon University
  • Cornell University
  • Harvard University Press
  • Massachusetts Institute of Technology
  • University of California, Santa Barbara
  • University of Pennsylvania
  • Virginia Tech
  • Worcester Polytechnic Institute
arXiv abstractPDF
paper

Report on the NSF Workshop on Formal Methods for Security

arXiv:1608.00678

Abstract

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

References in corpus (2)

  • Efficient Synthesis of Network Updates
  • Automated Experiments on Ad Privacy Settings: A Tale of Opacity, Choice, and Discrimination
◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.