Foundations of language-based provenance security

  • 14 Conference contribution
  • 2 Article
Filter
Conference contribution

Search results

  • 2021

    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 proceeding › Conference contribution

    Open Access
  • 2020

    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 proceeding › Conference 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-Verlag, p. 20-36 22 p. (Lecture Notes in Computer Science (LNCS); vol. 12007).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2019

    ProvMark: A Provenance Expressiveness Benchmarking System

    Chan, S. C., Cheney, J., Bhatotia, P., Pasquier, T., Gehani, A., Irshad, H., Carata, L. & Seltzer, M., 31 Dec 2019, Middleware '19 Proceedings of the 20th International Middleware Conference. ACM, p. 268-279 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2018

    Explicit Auditing

    Ricciotti, W. & Cheney, J., 15 Oct 2018, International Colloquium on Theoretical Aspects of Computing. Fischer, B. & Uustalu, T. (eds.). Springer, Cham, p. 376-395 20 p. (Lecture Notes in Computer Science; vol. 11187).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2017

    A Core Calculus for Provenance Inspection

    Ricciotti, W., 9 Oct 2017, 19th International Symposium on Principles and Practice of Declarative Programming (PPDP'17). ACM, p. 187-198 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Imperative functional programs that explain their work

    Ricciotti, W., Stolarek, J., Perera, R. & Cheney, J., 29 Aug 2017, 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017). p. 14:1-14:28 26 p. (Proceedings of the ACM on Programming Languages; vol. 1, no. ICFP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Strongly Normalizing Audited Computation

    Ricciotti, W. & Cheney, J., 24 Aug 2017, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1-21 21 p. 36. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 82).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Expressiveness benchmarking for system-level provenance

    Chan, S. C., Gehani, A., Cheney, J., Sohan, R. & Irshad, H., 23 Jun 2017, 2017 Workshop on Theory and Practice of Provenance (TaPP 2017). 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • µPuppet: A Declarative Subset of the Puppet Configuration Language

    Fu, W., Perera, R., Anderson, P. & Cheney, J., 13 Jun 2017, 31st European Conference on Object-Oriented Programming (ECOOP 2017). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1-29 28 p. 9. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 74).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2016

    Causally consistent dynamic slicing

    Perera, R., Garg, D. & Cheney, J., 26 Aug 2016, The 27th International Conference on Concurrency Theory (CONCUR 2016). Québec City, Canada: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Vol. 59. p. 18:1-18:15 15 p. 18. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 59).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2015

    Proof-relevant pi-calculus

    Perera, R. & Cheney, J., 2 Aug 2015, 2015 Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2015). EPTCS, Vol. 185. p. 46-70 25 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2014

    An Analytical Survey of Provenance Sanitization

    Cheney, J. & Perera, R., 2014, Provenance and Annotation of Data and Processes: 5th International Provenance and Annotation Workshop, IPAW 2014, Cologne, Germany, June 9-13, 2014. Revised Selected Papers. Springer International Publishing, p. 113-126 14 p. (Lecture Notes in Computer Science; vol. 8628).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Database Queries that Explain their Work

    Cheney, J., Ahmed, A. & Acar, U. A., 2014, PPDP '14 Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming. ACM, p. 271-282 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File