Search
Search Funnelback University
51 -
60 of
434
search results for `Peter Watson`
Fully-matching results
-
CHAPTER XII : TRUSTS - FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS,…
https://www.reporter.admin.cam.ac.uk/univ/so/2018/chapter12-section2.html13 Nov 2018: Statutes and Ordinances of the University of Cambridge. Preceding: Chapter XI. Following:CHAPTER XII. pp. 768–1032. TRUSTS. Previous section:Section 2. FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS, ETC.pp. 768–1032. FUNDS, STUDENTSHIPS, PRIZES, -
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. -
Arm Morello Programme: Architectural security goals and known…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-982.pdf14 Jul 2023: 2023 Robert N. M. Watson, Jessica Clarke, Peter Sewell,Simon W. Moore, Jonathan Woodruff, Arm Limited. ... 2019. URL: https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-941.pdf. [5] Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, -
Kayvan Memarian
https://www.cl.cam.ac.uk/~km569/21 Apr 2024: Watson, and Peter Sewell. In ASPLOS 2024. [11] CN: Verifying Systems C Code with Separation-Logic Refinement Types. ... Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson and Peter Sewell. In -
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. -
N3005: A Provenance-aware Memory Object Model for C. Working ...
https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14.html23 May 2024: Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award. [ ... M. Watson. ISO SC22 WG14 N2013, March 2016. [ N2012: Clarifying the C memory object model, Kayvan Memarian and Peter Sewell. -
Department of Computer Science and Technology: CHERI Rigorous…
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-formal.html22 Feb 2024: 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, -
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 -
https://www.cl.cam.ac.uk/techreports/tr-database.txt
https://www.cl.cam.ac.uk/techreports/tr-database.txt16 Jul 2024: and distributed programs|Robert Charles Beaumont Cooper|111|phd=Churchill College,1987-12 129|1988-03|A methodology for automated design of computer instruction sets|Jeremy Peter Bennett|147|phd=Emmanuel ... a distributed system|Roy -
topic.cheri.bib
https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri_bib.html23 May 2024: 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.
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.