Search

Search Funnelback University

Search powered by Funnelback
51 - 70 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.
  12. 20140618-jdw57-isca-cheri.key

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20140618-isca2014-cheri-slides.pdf
    18 Feb 2022: Jonathan Woodruff, Robert N. M. Watson, David Chisnall, Simon W. Moore, Jonathan Anderson, Brooks Davis, Ben Laurie, Peter G. ... The second control-flow instruction type,. proposed by David Chisnall, branches based on the validity of a descriptor.
  13. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2006-07/special/05/25.html
    28 Jan 2022: Abulafia, Anna Brechta Sapir, LC. Abulafia, David Samuel Harvard, CAI. Acerini, Carlo Lorenzo. ... John, TH. Aldred, Jonathan Simon, EM. Aldridge, David Christopher, CTH. Alexander, Denis, ED.
  14. Concurrent Systems

    https://www.cl.cam.ac.uk/teaching/2223/ConcDisSys/djg-materials/ccds-01-08-2223-e.pdf
    2 Nov 2022: Michaelmas Term, 2022/23. L1-8: Dr David J Greaves. L9-16: Dr Tim Harris. ... and producer-consumer relationships. Dr David J Greaves(Thanks to Dr Robert N.
  15. CHERI JNI: Sinking the Java security model into the ...

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201704-asplos-cherijni.pdf
    18 Feb 2022: CHERI JNI: Sinking the Java security model into the C. David Chisnall† Brooks Davis‡ Khilan Gudka† David Brazdil? ... Moore† Peter G. Neumann‡. Ben LaurieO Robert N. M. Watson††University of Cambridge ‡SRI International ODeepMind
  16. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2008-09/special/02/30.html
    28 Jan 2022: Adams, William Mark, DOW. Adamson, David Martin, NH. Adamson, John Sonley Anthony, PET. ... Andrews, David Colin. Andrews, Neil Howard, CL. Andrews, Paul Robert. Andrews, Rupert Simon.
  17. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2008-09/special/05/24.html
    28 Jan 2022: Abulafia, David Samuel Harvard, CAI. Acerini, Carlo Lorenzo. Acland, Marigold. Acton, Elizabeth, NH. ... Andrews, David Colin. Andrews, Neil Howard, CL. Andrews, Paul Robert. Andrews, Rupert Simon.
  18. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2009-10/special/05/24.html
    28 Jan 2022: Abulafia, David Samuel Harvard, CAI. Acerini, Carlo Lorenzo. Acland, Marigold. Acton, Elizabeth, NH. ... Adams, William Mark, DOW. Adamson, David Martin, NH. Adamson, John Sonley Anthony, PET.
  19. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2009-10/special/02/30.html
    28 Jan 2022: Abulafia, David. Samuel Harvard, CAI. Acerini, Carlo Lorenzo. Acland, Marigold. Acton, Elizabeth, NH. ... Adams, William Mark, DOW. Adamson, David Martin, NH. Adamson, John Sonley Anthony, PET.
  20. Cambridge University Reporter Special No 3 (2022-23) - Fellows of the …

    https://www.reporter.admin.cam.ac.uk/reporter/2022-23/special/03/
    21 Dec 2022: 1971. Jones David Rayner Hunkin ma phd ceng. 1972. Ingham Geoffrey Keith phd. ... Sedley David Neil ma phd fba. 1978. Bowkett Kelvin Malcolm ma phd [1966].
  21. 20151014-ccs-soaap-distribution

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20151014-ccs-soaap-distribution.pdf
    18 Feb 2022: Government. Clean Application Compartmentalization with SOAAP. Khilan Gudka, Robert N.M. Watson, Jonathan Anderson†, David Chisnall, Brooks Davis, Ben Laurie, Ilias Marinos, Peter G. ... Linux SELinux 200. CapLinux seccomp 11,300. FreeBSD Capsicum 100.

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.