Skip to content

ProvMark: A Provenance Expressiveness Benchmarking System

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationMiddleware '19
Subtitle of host publicationProceedings of the 20th International Middleware Conference
Publisher or commissioning bodyAssociation for Computing Machinery (ACM)
Number of pages12
ISBN (Print)978-1-4503-7009-7
DateAccepted/In press - 12 Sep 2019
DatePublished (current) - 1 Dec 2019
EventACM/IFIP International Middleware Conference - Davis, United States
Duration: 9 Dec 201913 Dec 2019


ConferenceACM/IFIP International Middleware Conference
Abbreviated titleMiddleware2019
CountryUnited States
Internet address


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’s usefuless in comparing three capture systems with different architectures and distinct design philosophies.

    Structured keywords

  • Cyber Security


ACM/IFIP International Middleware Conference

Abbreviated titleMiddleware2019
Duration9 Dec 201913 Dec 2019
CountryUnited States
Web address (URL)
Degree of recognitionInternational event

Event: Conference

Download statistics

No data available



  • Full-text PDF (accepted author manuscript)

    Rights statement: This is the author accepted manuscript (AAM). The final published version (version of record) is available online via ACM at Please refer to any applicable terms of use of the publisher.

    Accepted author manuscript, 902 KB, PDF document


View research connections

Related faculties, schools or groups