Pinned repositories

  1. camflow-install

    Build script for CamFlow Linux Provenance.

    Makefile 1 2

  2. camflow-patches

    Kernel patches for CamFlow Linux Provenance.

    Roff 1

  3. vagrant

    Vagrant Script for CamFlow.

    Ruby 2

  4. documentation

    CamFlow documentation

    2 1

  • Build script for CamFlow Linux Provenance.

    Makefile 1 2 GPL-2.0 Updated Aug 20, 2018
  • Kernel patches for CamFlow Linux Provenance.

    Roff 1 GPL-2.0 Updated Aug 20, 2018
  • CamFlow documentation

    2 1 GPL-2.0 Updated Aug 20, 2018
  • Generates kernel patch for CamFlow Linux Provenance Capture.

    C 8 4 GPL-2.0 Updated Aug 20, 2018
  • Create a patch that implements the changes (and more) to the LSM framework suggested in the paper: Verifying the reliability of operating system-level information flow control systems in linux, Georget et al., ACM/IEEE Workshop on Formal Methods in Software Engineering (FormliSE'17) 2017.

    C GPL-2.0 Updated Aug 19, 2018
  • CamFlow home page.

    CSS Updated Aug 18, 2018
  • source for http://camflow.org

    CSS Updated Aug 18, 2018
  • Run-time query over provenance data

    C 1 GPL-2.0 Updated Aug 15, 2018
  • Vagrant Script for CamFlow.

    Ruby 2 GPL-2.0 Updated Aug 14, 2018
  • Cytoscape library for provenance graph generated by CamFlow

    JavaScript 5 GPL-2.0 Updated Jul 20, 2018
  • Example programs for CamFlow.

    C 1 GPL-2.0 Updated Jul 19, 2018
  • Command Line Tool for CamFlow Linux Provenance capture

    C 1 GPL-2.0 Updated Jul 12, 2018
  • CamFlow Linux Provenance userspace library.

    C 4 2 GPL-2.0 Updated Jul 12, 2018
  • CamFlow Linux Provenance configuration service.

    C 2 2 GPL-2.0 Updated Jul 6, 2018
  • Collection service for CamFlow Linux Provenance.

    C 2 GPL-2.0 Updated Jul 6, 2018
  • C++ Updated Jun 9, 2018
  • C GPL-2.0 Updated Apr 26, 2018
  • C GPL-2.0 Updated Aug 17, 2017
  • 0

    People

    This organization has no public members. You must be a member to see who’s a part of this organization.