Change the repository type filter
All
Repositories list
19 repositories
camflow-dev
PublicGenerates kernel patch for CamFlow Linux Provenance Capture.CamFlow.github.io
Publicwebsite
Publicsource for http://camflow.orglibprovenance
PublicCamFlow Linux Provenance userspace library.camflow-install
PublicBuild script for CamFlow Linux Provenance.vagrant
Publiccamflow-cli
PublicCommand Line Tool for CamFlow Linux Provenance capturecamconfd
PublicCamFlow Linux Provenance configuration service.camflow-patches
PublicKernel patches for CamFlow Linux Provenance.camflowd
Publicinformation-flow-patch
PublicCreate 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.examples
PublicExample programs for CamFlow.libcamquery
PublicRun-time query over provenance datacytoscape.js-prov
PublicCytoscape library for provenance graph generated by CamFlowPathExaminer2
Publicdocumentation
Public archivecamtool
Publiccallgraphs
Publicbenchmark
Public archive