@inproceedings{d15c727661a94f29a85be5042dd300ee,
title = "Provmark: A provenance expressiveness benchmarking system",
abstract = "System level provenance is of widespread interest for applications such as security enforcement and information protection. However, testing the correctness or completeness of provenance capture tools is challenging and currently done manually. In some cases there is not even a clear consensus about what behavior is correct. We present an automated tool, ProvMark, that uses an existing provenance system as a black box and reliably identifies the provenance graph structure recorded for a given activity, by a reduction to subgraph isomorphism problems handled by an external solver. ProvMark is a beginning step in the much needed area of testing and comparing the expressiveness of provenance systems. We demonstrate ProvMark{\textquoteright}s usefuless in comparing three capture systems with different architectures and distinct design philosophies.",
keywords = "Benchmarking, Provenance, Subgraph isomorphism",
author = "Chan, {Sheung Chi} and James Cheney and Pramod Bhatotia and Thomas Pasquier and Ashish Gehani and Hassaan Irshad and Lucian Carata and Margo Seltzer",
note = "Publisher Copyright: {\textcopyright} 2019 Copyright held by the owner/author(s). Publication rights licensed to ACM.; 20th ACM/IFIP/USENIX Middleware Conference, Middleware 2019 ; Conference date: 09-12-2019 Through 13-12-2019",
year = "2019",
month = dec,
day = "9",
doi = "10.1145/3361525.3361552",
language = "English",
series = "Middleware 2019 - Proceedings of the 2019 20th International Middleware Conference",
publisher = "Association for Computing Machinery, Inc",
pages = "268--279",
booktitle = "Middleware 2019 - Proceedings of the 2019 20th International Middleware Conference",
}