Search

Search Funnelback University

Search powered by Funnelback
51 - 60 of 98 search results for `David Watson`
  1. Fully-matching results

  2. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2007-08/special/02/30.html
    28 Jan 2022: John, TH. Aldred, Jonathan Simon, EM. Aldridge, David Christopher, CTH. Alexander, Denis, ED. ... Andrews, David Colin. Andrews, Neil Howard, CL. Andrews, Paul Robert. Andrews, Rupert Simon.
  3. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2007-08/special/05/25.html
    28 Jan 2022: Andrew, Piers. Andrewes, Richard Michael, T. Andrews, David Colin. Andrews, Neil Howard, CL. ... Argyle, Benjamin David. Argyle, Robert William. Armenteros, Carolina Renata, W. Armisen Garrido, Javier.
  4. 20190414-cheriabi

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20190414-cheriabi.pdf
    18 Feb 2022: CheriABIEnforcing/Valid/Pointer/Provenance/and/Minimizing/Pointer/Privilege/in/the/POSIX/C/Run?time/Environment. ... David/Chisnall,. James/Clarke,/Nathaniel/Wesley/Filardo,/Khilan
  5. CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities …

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201910micro-cheri-temporal-safety.pdf
    18 Feb 2022: M. Watson, and Timothy M. Jones. 2019. CHERIvoke:Characterising Pointer Revocation using CHERI Capabilities for TemporalMemory Safety.
  6. 20160423-cheri-cherios

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/pdfs/20160423-cheri-cherios.pdf
    18 Feb 2022: Government. CHERICheriOS Microkernel. Hadrien BarralRobert N. M. Watson, Simon W. Moore, Peter G. ... Neumann, Jonathan Woodruff,. Jonathan Anderson, Ruslan Bukin, David Chisnall, Nirav Dave, Brooks Davis, Lawrence Esswood, Khilan Gudka, Alexandre Joannou
  7. Exploring C Semantics and Pointer Provenance

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201901-popl-cerberus.pdf
    18 Feb 2022: F. Gomes, Brooks Davis, Stephen Kell, Alexander Richardson, Robert N. M.Watson, and Peter Sewell. ... 67:12 Memarian, Gomes, Davis, Kell, Richardson, Watson, Sewell. usually involving one or more linking steps.
  8. 20160423-cheri-models

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/pdfs/20160423-cheri-models.pdf
    18 Feb 2022: Government. CHERI Processor ModelsSimonW.Moore. Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, Hadrien Barral, Ruslan Bukin, David Chisnall, Nirav Dave, Brooks Davis, Lawrence Esswood, Khilan Gudka,.
  9. 20171108-iccd-tags

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20171108-iccd-tags.pdf
    18 Feb 2022: Hongyan Xia, Robert N. M. Watson, David Chisnall, Michael Roe, Brooks Davis, Peter G.
  10. 20150305-aplos-cheri-c.key

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20150305-aplos2015-cheri-cmachine-slides.pdf
    18 Feb 2022: memory-safe C abstract machine David Chisnall†, Colin Rothwell†, Brooks Davis‡,. Robert N.M. ... Watson†, Jonathan Woodruff†, Munraj Vadera†, Simon W. Moore†, Peter G. Neumann‡, and Michael Roe†.
  11. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2006-07/special/02/30.html
    28 Jan 2022: Ahringer, Julie. Aidt, Toke Skovsgaard, JE. Aigbirhio, Franklin Imo. Ainscough, David Anthony, SE. ... Andrews, David Colin. Andrews, Neil Howard, CL. Andrews, Paul Robert. Andrews, Rupert Simon.

Refine your results

Format

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.