Modelgen: mining explicit information flow specifications from concrete executions

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 13, 2015
Source ID
10.1145/2771783.2771810

Entities

People

  • Alex Aiken
  • Lazaro Clapp
  • Saswat Anand

Organizations

  • Defense Advanced Research Projects Agency
  • Stanford University