Search
Search Funnelback University
31 -
40 of
485
search results for `Peter Watson`
Fully-matching results
-
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. -
[1] ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS. Alasdair ...
https://www.cl.cam.ac.uk/~pes20/rems/report-2019-web011.html3 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 -
Department of Computer Science and Technology – CHERI: The Digital…
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/dsbd.html22 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. -
Silverware 1750–99 | Queens' College
https://www.queens.cam.ac.uk/visiting-the-college/history/college-facts/silverware/silverware-1750-9924 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. -
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 -
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. -
Department of Computer Science and Technology – CTSRD: Publications
https://www.cl.cam.ac.uk/research/security/ctsrd/publications.html2 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. -
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-DBLP.xml
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-DBLP.xml16 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 -
elver.bib
https://www.cl.cam.ac.uk/~pes20/elver_bib.html23 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. -
Governance | Centre for Trophoblast Research
https://www.trophoblast.cam.ac.uk/about-us/governance25 Jul 2024: Dr Peter Rugg-Gunn, Babraham Institute. Dr Erica Watson, Department of Physiology, Development and Neuroscience.
Refine your results
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.