Publications


Contents

Articles

  1. Graeme Jenkinson, Lucian Carata, Thomas Bytheway, Ripduman Sohan, Robert N. M. Watson, Jonathan Anderson, Brian Kidney, Amanda Strnad, Arun Thomas and George Neville-Neil. Applying Provenance in APT Monitoring and Analysis: Practical Challenges for Scalable, Efficient and Trustworthy Distributed Provenance. 9th USENIX Workshop on the Theory and Practice of Provenance (TaPP 2017), USENIX Association (2017). [BibTeX] [pdf]
  2. Khilan Gudka, Robert N.M. Watson, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Ilias Marinos, Peter G. Neumann and and Alex Richardson. Clean Application Compartmentalization with SOAAP. CCS 2015: Proceedings of the 22nd ACM Conference on Computer and Communications Security, (2015). [BibTeX] [pdf] [doi]

Prior work

Prior work by members of the CADETS project that is of relevance includes:

  1. Jonathan Anderson, Robert N. M. Watson, David Chisnall, Khilan Gudka, Ilias Marinos and Brooks Davis. TESLA: Temporally Enhanced System Logic Assertions. EuroSys ’14: Proceedings of the Ninth European Conference on Computer Systems, (2014), 1–14. [BibTeX] [abstract] [pdf] [doi]
  2. Marshall Kirk McKusick, George V. Neville-Neil and Robert N. M. Watson. Design and Implementation of the FreeBSD Operating System, 2nd Edition. Pearson Education, 2014. [BibTeX]
  3. Brooks Davis. CheriBSD: a research fork of FreeBSD. . [BibTeX] [pdf]