Skip to main navigation Skip to search Skip to main content

Foundations of language-based provenance security

Project Details

StatusFinished
Effective start/end date1/01/1330/06/18

Funding

  • Non-EU other: £509,771.00

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • Provenance expressiveness benchmarking on non-deterministic executions

    Chan, S. C., Cheney, J. & Bhatotia, P., 16 Jul 2021, 13th International Workshop on Theory and Practice of Provenance. USENIX Association

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

    Open Access
  • Integrity Checking and Abnormality Detection of Provenance Records

    Chan, S. C., Gehani, A., Irshad, H. & Cheney, J., 21 Jun 2020, 2020 International Workshop on Theory and Practice of Provenance. USENIX Association, 6 p.

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

    Open Access
  • Flexible graph matching and graph edit distance using answer set programming

    Chan, S. C. & Cheney, J., 14 Jan 2020, Practical Aspects of Declarative Languages : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings. Komendantskaya, E. & Liu, Y. A. (eds.). Springer, p. 20-36 22 p. (Lecture Notes in Computer Science (LNCS); vol. 12007).

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

    Open Access
    File