A core calculus for provenance inspection

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 09, 2017
Source ID
10.1145/3131851.3131871

Entities

People

  • Wilmer Ricciotti

Organizations

  • Air Force Office of Scientific Research
  • University of Edinburgh