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
31 - 40 of 487 search results for `Peter Watson`

  1. Fully-matching results

  2. Computer Laboratory: Thomas Bauereiss

    https://www.cl.cam.ac.uk/~tb592/
    19 Apr 2022: M. Watson, Peter Sewell. In ESOP 2022, pp. 174-203 [Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process. ... M. Watson, Peter Sewell. In IEEE Symposium on Security and Privacy 2020, pp.

  3. [1] ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS. Alasdair ...

    https://www.cl.cam.ac.uk/~pes20/rems/report-2019-web011.html
    3 Jun 2020: M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Jonathan Anderson, John Baldwin, David Chisnall, Brooks Davis, Alexandre Joannou, Ben Laurie, Simon W. ... Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Jonathan Anderson, David

  4. Department of Computer Science and Technology – CHERI: The Digital…

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/dsbd.html
    22 Feb 2024: Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John Baldwin, David Chisnall, Brooks Davis, Nathaniel Wesley Filardo, Alexandre Joannou, Ben Laurie, A. ... Boston, MA, USA, November 5-8, 2017.

  5. Silverware 1750–99 | Queens' College

    https://www.queens.cam.ac.uk/visiting-the-college/history/college-facts/silverware/silverware-1750-99
    24 Jul 2024: Max diameter: 60mm, height: 82mm excluding pourer and handle. The donor, by bequest in 2017, was Peter Gordon Watson (1930–2017): matric. ... The donor, by bequest in 2017, was Peter Gordon Watson (1930–2017): matric.

  6. Computer Laboratory:

    https://www.cl.cam.ac.uk/~hx242/
    14 Oct 2019: Publications. Hongyan Xia, Jonathan Woodruff, Sam Ainsworth, Nathaniel W. Filardo, Michael Roe, Alexander Richardson, Peter Rugg, Peter G. ... Moore, Alex Bradbury, Hongyan Xia, Robert N. M. Watson, David Chisnall, Michael Roe, Brooks Davis, Edward

  7. 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.

  8. Department of Computer Science and Technology – CTSRD: Publications

    https://www.cl.cam.ac.uk/research/security/ctsrd/publications.html
    2 Mar 2024: Boston, MA, USA, November 5-8, 2017. Robert N. M. Watson, Peter G. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, Ross Anderson, Nirav Dave, Ben Laurie, Simon W.

  9. https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-DBLP.xml

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-DBLP.xml
    16 Jul 2024: 128 1988 February University of Cambridge, Computer Laboratory, Technical Report https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-128.html Jeremy Peter Bennett A methodology for automated design of ... ac.uk/techreports/UCAM-CL-TR-141.html Peter Newman A

  10. elver.bib

    https://www.cl.cam.ac.uk/~pes20/elver_bib.html
    23 May 2024: optrecent = {true}, elver = {true} }.. @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.

  11. Governance | Centre for Trophoblast Research

    https://www.trophoblast.cam.ac.uk/about-us/governance
    24 Jul 2024: Dr Peter Rugg-Gunn, Babraham Institute. Dr Erica Watson, Department of Physiology, Development and Neuroscience.

Refine your results

Format

Date

Related searches for `Peter Watson`

By type

By topic

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.