Search
Search Funnelback University
- Refined by:
- Date: 2022
51 -
70 of
98
search results for `David Watson`
Fully-matching results
-
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2007-08/special/02/30.html28 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. -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2007-08/special/05/25.html28 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. -
20190414-cheriabi
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20190414-cheriabi.pdf18 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 -
CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities …
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201910micro-cheri-temporal-safety.pdf18 Feb 2022: M. Watson, and Timothy M. Jones. 2019. CHERIvoke:Characterising Pointer Revocation using CHERI Capabilities for TemporalMemory Safety. -
20160423-cheri-cherios
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/pdfs/20160423-cheri-cherios.pdf18 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 -
Exploring C Semantics and Pointer Provenance
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201901-popl-cerberus.pdf18 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. -
20160423-cheri-models
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/pdfs/20160423-cheri-models.pdf18 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,. -
20171108-iccd-tags
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20171108-iccd-tags.pdf18 Feb 2022: Hongyan Xia, Robert N. M. Watson, David Chisnall, Michael Roe, Brooks Davis, Peter G. -
20150305-aplos-cheri-c.key
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20150305-aplos2015-cheri-cmachine-slides.pdf18 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†. -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2006-07/special/02/30.html28 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. -
20140618-jdw57-isca-cheri.key
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20140618-isca2014-cheri-slides.pdf18 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. -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2006-07/special/05/25.html28 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. -
Concurrent Systems
https://www.cl.cam.ac.uk/teaching/2223/ConcDisSys/djg-materials/ccds-01-08-2223-e.pdf2 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. -
CHERI JNI: Sinking the Java security model into the ...
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201704-asplos-cherijni.pdf18 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 -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2008-09/special/02/30.html28 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. -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2008-09/special/05/24.html28 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. -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2009-10/special/05/24.html28 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. -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2009-10/special/02/30.html28 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. -
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]. -
20151014-ccs-soaap-distribution
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20151014-ccs-soaap-distribution.pdf18 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.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.