Search

Search Funnelback University

Search powered by Funnelback
10 results 20 results 50 results
Relevance Date (Newest first) Date (Oldest first) Title (A-Z) Title (Z-A) Distance URL (A-Z) URL (Z-A) Shuffle
11 - 20 of 94 search results for `Peter Watson`

  1. Fully-matching results

  2. Department of Computer Science and Technology – Course pages 2020–21: …

    https://www.cl.cam.ac.uk/teaching/2021/R209/materials.html
    12 Nov 2022: Please contact the module instructors if you have any questions. Adversarial reasoning (12 October 2020 - Anderson, Beresford, Watson, Hutchings). ... Brooks Davis, Robert NM Watson, Alexander Richardson, Peter G. Neumann, Simon W.

  3. Department of Computer Science and Technology – Technical reports:…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-940.html
    18 Jul 2022: and Moore, Simon W. and Neumann, Peter G. and Stark, Ian and Watson, Robert N. ... M. and Sewell, Peter}, title = {{Rigorous engineering for hardware security: formal modelling and proof in the CHERI design and implementation process}}, year = 2019,

  4. Department of Computer Science and Technology – Technical reports:…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-959.html
    18 Jul 2022: Graeme and Watson, Robert N. ... M. and Sewell, Peter}, title = {{Verified security for the Morello capability-enhanced prototype Arm architecture}}, year = 2021, month = sep, url =

  5. Department of Computer Science and Technology – Technical reports:…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-927.html
    18 Jul 2022: PDF (10.5 MB). BibTeX record. @TechReport{UCAM-CL-TR-927, author = {Watson, Robert N. M. ... and Neumann, Peter G. and Woodruff, Jonathan and Roe, Michael and Almatary, Hesham and Anderson, Jonathan and Baldwin, John and Chisnall, David and Davis,

  6. Department of Computer Science and Technology – Technical reports:…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-876.html
    18 Jul 2022: PDF (0.9 MB). BibTeX record. @TechReport{UCAM-CL-TR-876, author = {Watson, Robert N. M. ... and Neumann, Peter G. and Woodruff, Jonathan and Roe, Michael and Anderson, Jonathan and Chisnall, David and Davis, Brooks and Joannou, Alexandre and Laurie, Ben

  7. Department of Computer Science and Technology – Technical reports:…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-891.html
    18 Jul 2022: PDF (1.1 MB). BibTeX record. @TechReport{UCAM-CL-TR-891, author = {Watson, Robert N. M. ... and Neumann, Peter G. and Woodruff, Jonathan and Roe, Michael and Anderson, Jonathan and Chisnall, David and Davis, Brooks and Joannou, Alexandre and Laurie, Ben

  8. Department of Computer Science and Technology – Technical reports:…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-907.html
    18 Jul 2022: PDF (9.4 MB). BibTeX record. @TechReport{UCAM-CL-TR-907, author = {Watson, Robert N. M. ... and Neumann, Peter G. and Woodruff, Jonathan and Roe, Michael and Anderson, Jonathan and Baldwin, John and Chisnall, David and Davis, Brooks and Joannou,

  9. Department of Computer Science and Technology – Technical reports:…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-941.html
    18 Jul 2022: PDF (0.6 MB). BibTeX record. @TechReport{UCAM-CL-TR-941, author = {Watson, Robert N. M. ... and Moore, Simon W. and Sewell, Peter and Neumann, Peter G.}, title = {{An Introduction to CHERI}}, year = 2019, month = sep, url =

  10. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2007-08/special/03/8.html
    28 Jan 2022: TOWNSEND Albert Alan PHD FRS LIFE FELLOW. 1953. RICKARD Peter LITTD LIFE FELLOW. ... KHODABAKHSH Saghar PHD. SCHMEING Thomas Martin Thorne. RUSSELL Paul Alexander. KING Lawrence Peter.

  11. Department of Computer Science and Technology – Technical reports:…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-932.html
    18 Jul 2022: PDF (0.5 MB). BibTeX record. @TechReport{UCAM-CL-TR-932, author = {Davis, Brooks and Watson, Robert N. ... and Roe, Michael and Sewell, Peter and Son, Stacey and Woodruff, Jonathan}, title = {{CheriABI: Enforcing valid pointer provenance and minimizing

Refine your results

Format

clear all

Date

Related searches for `Peter Watson`

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.