Search
Search Funnelback University
- Refined by:
- Date: 2023
21 -
30 of
131
search results for `Robert Watson`
Fully-matching results
-
Department of Computer Science and Technology – CTSRD Open Data: Open …
https://www.cl.cam.ac.uk/research/security/ctsrd/data/10 Jul 2023: 2016. 2010-2016 Robert N. M. Watson. Information provided by Robert Watson. -
cheriformal.bib
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheriformal_bib.html2 Nov 2023: techreport{UCAM-CL-TR-927, author = {Watson, Robert N. M. and Neumann, Peter G. ... and Esswood, Lawrence and Stark, Ian and Barnes, Graeme and Watson, Robert N. -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-951.html7 Nov 2023: PDF (3.3 MB). BibTeX record. @TechReport{UCAM-CL-TR-951, author = {Watson, Robert N. M. ... Theodore and Moore, Simon W. and Murdoch, Steven J. and Nienhuis, Kyndylan and Norton, Robert and Richardson, Alexander and Rugg, Peter and Sewell, Peter and Son, -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-986.html10 Oct 2023: PDF (0.9 MB). BibTeX record. @TechReport{UCAM-CL-TR-986, author = {Watson, Robert N. M. -
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheriformal_abstracts.html2 Nov 2023: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... A. Theodore Markettos, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Peter G. -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-987.html21 Sep 2023: BibTeX record. @TechReport{UCAM-CL-TR-987, author = {Watson, Robert N. M. and Neumann, Peter G. ... Theodore and Moore, Simon W. and Murdoch, Steven J. and Nienhuis, Kyndylan and Norton, Robert and Richardson, Alexander and Rugg, Peter and Sewell, Peter -
Department of Computer Science and Technology – CTSRD: Enhancing the…
https://www.cl.cam.ac.uk/research/security/ctsrd/smten.html10 Jul 2023: 2010-2022 Robert N. M. Watson. Information provided by Robert Watson. -
Department of Computer Science and Technology – Course pages 2017–18: …
https://www.cl.cam.ac.uk/teaching/1718/R210/materials.html26 Jun 2023: Optional additional readings:. Videos. Access Control (Robert Watson - 29 January 2018). ... Capability Systems (Robert Watson - 26 February 2018). David Wagner and Dean Tribble, A Security Analysis of the Combex DarpaBrowser Architecture, March 4, 2002. -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-982.html14 Jul 2023: PDF (0.2 MB). BibTeX record. @TechReport{UCAM-CL-TR-982, author = {Watson, Robert N. M. -
Department of Computer Science and Technology – Course pages 2017–18: …
https://www.cl.cam.ac.uk/teaching/1718/lecturers.html26 Jun 2023: Course pages 2017–18. Contents. Index of courses by lecturer. Please check the official timetables for timetable details. Easter,Lent,Michaelmas,Michaelmas,Lent,Easter,Michaelmas,Lent,Pre-arrival,Michaelmas,Michaelmas,Lent,Easter,Michaelmas,
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.