Search
Search Funnelback University
- Refined by:
- Date: 2022
51 -
60 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.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.