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
1 - 10 of 47 search results for `Peter Watson`

  1. Fully-matching results

  2. Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheriformal.html
    2 Nov 2023: Robert N. M. Watson, Peter Sewell, and William Martin. The Next Wave (The National Security Agency's review of emerging technologies), 4(1):10--21, 2023. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary,

  3. Cerberus

    https://www.cl.cam.ac.uk/~pes20/cerberus/
    1 Oct 2023: Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award. [ ... M. Watson, Peter Sewell. Identical to the above POPL 2019 paper text.

  4. Department of Computer Science and Technology: Bluespec Extensible…

    https://www.cl.cam.ac.uk/research/security/ctsrd/beri/
    10 Jul 2023: Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, Ross Anderson, Nirav Dave, Ben Laurie, Simon W. ... Robert N.M. Watson, Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Simon W.

  5. CHERI Rigorous Engineering

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-formal-b.html
    3 Nov 2023: Robert N. M. Watson, Peter Sewell, and William Martin. The Next Wave (The National Security Agency's review of emerging technologies), 4(1):10--21, 2023. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary,

  6. Department of Computer Science and Technology – CTSRD: Posters and…

    https://www.cl.cam.ac.uk/research/security/ctsrd/posters-slides.html
    10 Jul 2023: Park Ridge, NJ, May 2013. Peter G. Neumann, Robert N.M. Watson. ... San Diego, CA, November 2012. Peter G. Neumann, Robert N.M. Watson.

  7. Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheriformal_abstracts.html
    2 Nov 2023: Robert N. M. Watson, Peter Sewell, and William Martin. The Next Wave (The National Security Agency's review of emerging technologies), 4(1):10--21, 2023. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary,

  8. cheriformal.bib

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheriformal_bib.html
    2 Nov 2023: techreport{UCAM-CL-TR-927, author = {Watson, Robert N. M. and Neumann, Peter G. ... Norton and Moore, Simon W. and Neumann, Peter G. and Ian Stark and Watson, Robert N.

  9. Department of Computer Science and Technology: Security-Oriented…

    https://www.cl.cam.ac.uk/research/security/ctsrd/soaap/
    10 Jul 2023: Conference and journal papers. Khilan Gudka, Robert N.M. Watson, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Ilias Marinos, Peter G. ... Robert N. M. Watson, Steven J. Murdoch, Khilan Gudka, Jonathan Anderson, Peter G.

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

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-988.html
    28 Oct 2023: David and Campbell, Brian and Stark, Ian and Watson, Robert N. ... M. and Sewell, Peter}, title = {{CHERI C semantics as an extension of the ISO C17 standard}}, year = 2023, month = oct, url =

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

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-951.html
    7 Nov 2023: PDF (3.3 MB). BibTeX record. @TechReport{UCAM-CL-TR-951, 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 Barnes, Graeme and Chisnall,

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.