Search
Search Funnelback University
51 -
100 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. -
CHAPTER XII : TRUST EMOLUMENTS - FUNDS, STUDENTSHIPS, PRIZES,…
https://www.reporter.admin.cam.ac.uk/univ/so/2013/chapter12-section2.html10 Sep 2013: Statutes and Ordinances of the University of Cambridge. Preceding: Chapter XI. Following:CHAPTER XII. pp. 756–1006. TRUST EMOLUMENTS. Previous section:Section 2. FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS, ETC. GENERAL REGULATIONS FOR AWARDS. -
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-RSS.xml
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-RSS.xml16 Jul 2024: Davis, Brooks Richardson, Alex Chisnall, David Campbell, Brian Stark, Ian Watson, Robert N. ... Early performance results from the prototype Morello microarchitecture https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-986.pdf Watson, Robert N. -
Isla: Integrating full-scale ISA semantics and axiomatic concurrency…
https://www.cl.cam.ac.uk/~pes20/papers/topic.ISA_semantics_abstracts.html23 May 2024: M. Watson, and Peter Sewell. In ESOP 2022. [Memory safety bugs continue to be a major source of security vulnerabilities in our critical infrastructure. ... Christopher Pulte, Shaked Flur, Will Deacon, Jon French, Susmit Sarkar, and Peter Sewell. -
The Arm Morello Evaluation Platform - Validating CHERI-based Security …
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/202305ieeemicro-morello-platform.pdf18 Aug 2023: Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary,. ... M. Watson, and Peter Sewell. Verified Security for the Morello Capability-enhanced Prototype Arm Architecture, 31st European Symposium on Programming (ESOP 2022), -
The Trinity Clock
https://clock.trin.cam.ac.uk/main.php?menu_option=data&date=18/05/2011SPICE visit: Chris Burgoyne, Hilary Costello, Tony Cox, Peter Davidson, Simon Driscoll, Pru Foster, Don Grainger, Jim Haywood, Hugh Hunt, James McGregor, Thao Do, Daniel Peters, Francis Pope, Chris Walton, Peter ... Braesicke, Alessio Bozzo, Matt Watson, -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2006-07/special/03/8.html28 Jan 2022: WATSON Stephen Roger MA PHD LIFE FELLOW. 1969. SPREADBURY Peter James MA MSC PHD LIFE FELLOW. ... O'DONALD Peter MA SCD. 1974. BARNES Richard James MA PHD MB BCHIR. -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2007-08/special/03/8.html28 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. -
The Trinity Clock
https://clock.trin.cam.ac.uk/main.phpwinding by Alexander Watson, John Perry, Blazej Puchala, Dido Coley, Zach Foster, Jack Celliers. ... visit by Katie Thompson, Andreas Metzler, Pat Batcheler, Peter Batcheler and Rupert Gatti. -
List
https://venn.lib.cam.ac.uk/Documents/acad/2016/lists/UAL.html12 Oct 2020: 1977-78 Hare, Nicholas (University Lecturer, 1978). 1978-83 Jones, Peter Martin Blundell. ... 1980-83 Holland, Peter David (University Lecturer, 1983). 1981-85 Chothia, Jean Kathleen. -
topic.ISA_semantics.bib
https://www.cl.cam.ac.uk/~pes20/sail/topic.ISA_semantics_bib.html7 Dec 2022: Neel Krishnaswami and Peter Sewell and Mark Wassell}, title = {Formalisation of {MiniSail} in the {Isabelle} Theorem Prover}, optcrossref = {}, optkey = {}, conf = {Automated Reasoning Workshop (ARW) 2018}, booktitle = {Proc. ... Sewell, Thomas and -
Cornucopia: Temporal Safety for CHERI HeapsNathaniel Wesley Filardo,∗ …
https://www.cl.cam.ac.uk/~tmj32/papers/docs/filardo20-sp.pdf28 Apr 2020: Theodore Markettos,. Alfredo Mazzinghi, Robert M. Norton, Michael Roe, Peter Sewell, Stacey Son,Timothy M. ... Jones, Simon W. Moore, Peter G. Neumann,† Robert N. M. WatsonUniversity of Cambridge, Cambridge, UK; †SRI International, Menlo Park, CA, USA -
Reporter 28/2/01: Congregation of the Regent House on 24 February 2001
https://www.reporter.admin.cam.ac.uk/reporter/2000-01/weekly/5839/22.html29 Nov 2011: Tomkinson, Christopher David. Turner, Claire Louise. Walch, Jamie Peter. Watson, Benjamin Turquand. ... Carim, Lara Jemila. Cawley, Laurence Peter. Clarke, Graham Michael Minchin. Dickson, Jonathan David. -
Reporter 12/12/01: Congregation of the Regent House on 8 December 2001
https://www.reporter.admin.cam.ac.uk/reporter/2001-02/weekly/5868/28.html29 Nov 2011: Botting, Joseph Peter. Bridgett, Adrian Paul. Brown, Sarah Jane Louise. Buckley, Juliet Iona. ... Doctor of Philosophy. Aberle, Marcus. Watson, Robert Peter. Master of Philosophy. -
Cornucopia: Temporal Safety for CHERI HeapsNathaniel Wesley Filardo,∗ …
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/2020oakland-cornucopia.pdf18 Feb 2022: Theodore Markettos,. Alfredo Mazzinghi, Robert M. Norton, Michael Roe, Peter Sewell, Stacey Son,Timothy M. ... Jones, Simon W. Moore, Peter G. Neumann,† Robert N. M. WatsonUniversity of Cambridge, Cambridge, UK; †SRI International, Menlo Park, CA, USA -
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri_abstracts.html23 May 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, -
Position Paper:Defending Direct Memory Access with CHERI Capabilities
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/2020cheri-dma.pdf18 Feb 2022: HASP’20, October 2020, Online A. Theodore Markettos, John Baldwin, Ruslan Bukin, Peter G. ... Becuase. HASP’20, October 2020, Online A. Theodore Markettos, John Baldwin, Ruslan Bukin, Peter G. -
Department of Computer Science and Technology: Timothy M. Jones:…
https://www.cl.cam.ac.uk/~tmj32/papers/2 May 2024: Theodore Markettos, Alfredo Mazzinghi, Robert M. Norton, Michael Roe, Peter Sewell, Stacey Son, Timothy M. ... Hongyan Xia, Jonathan Woodruff, Sam Ainsworth, Nathaniel W. Filardo, Michael Roe, Alexander Richardson, Peter Rugg, Peter G. -
List of technical reports
https://www.cl.cam.ac.uk/techreports/tr-index.pdf16 Jul 2024: Technical Report. Computer Laboratory. UCAM-CL-TRISSN 1476-2986. List of technical reports. July 2024. 15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone 44 1223 763500. https://www.cl.cam.ac.uk/. Technical reports published by the University -
CHAPTER XII : TRUSTS - FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS,…
https://www.reporter.admin.cam.ac.uk/univ/so/2017/chapter12-section2.html7 Nov 2017: Statutes and Ordinances of the University of Cambridge. Preceding: Chapter XI. Following:CHAPTER XII. pp. 764–1024. TRUSTS. Previous section:Section 2. FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS, ETC.pp. 764–1024. FUNDS, STUDENTSHIPS, PRIZES, -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-982.html14 Jul 2023: PDF (0.2 MB). BibTeX record. @TechReport{UCAM-CL-TR-982, author = {Watson, Robert N. M. ... and Barnes, Graeme and Clarke, Jessica and Grisenthwaite, Richard and Sewell, Peter and Moore, Simon W. -
CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities …
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201910micro-cheri-temporal-safety.pdf18 Feb 2022: Peter RuggUniversity of Cambridge. Peter G. NeumannSRI International. Simon W. MooreUniversity of Cambridge. ... Filardo,Michael Roe, Alexander Richardson, Peter Rugg, Peter G. Neumann, SimonW. Moore, Robert N. -
Exploring C Semantics and Pointer Provenance
https://www.cl.cam.ac.uk/~pes20/cerberus/cerberus-popl2019.pdf30 Nov 2018: F. Gomes, Brooks Davis, Stephen Kell, Alexander Richardson, Robert N. M.Watson, and Peter Sewell. ... 67:12 Memarian, Gomes, Davis, Kell, Richardson, Watson, Sewell. usually involving one or more linking steps. -
Department of Computer Science and Technology – Security Group: All
https://www.cl.cam.ac.uk/research/security/seminars/archive/all.html17 Jun 2024: Security Group. All seminars. 2024. 11 June 14:00How Misinformation Creators (Ab)use Generative AI Tools / Amelia (Mia) Hassoun, University of Cambridge. Computer Lab, FW11. Advances in generative AI (GenAI) have raised concerns about detecting and -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-941.html18 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 = -
sewellandgroupbib2.bib
https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_bib.html23 May 2024: author = {Peter M. Sewell}, title = {Bisimulation is Not Finitely (First-Order) Equationally Axiomatisable}, conf = {LICS 1994}, booktitle = {Proceedings of the 9th IEEE Symposium on Logic in Computer Science (Paris)}, year = {1994}, ... topic = -
Capability Hardware Enhanced RISC Instructions (CHERI): Notes on the…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-916.pdf7 Feb 2018: CHERI): Notes on theMeltdown and Spectre Attacks. Robert N. M. Watson, Jonathan Woodruff,Michael Roe, Simon W. ... Moore,. Peter G. Neumann. February 2018. 15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone 44 1223 763500. -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-932.html18 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 -
RaG publications
www.statslab.cam.ac.uk/~grg/rag-pubs.html24 Apr 2018: Galton–Watson trees with vanishing martingale limit. ... Nathanael Berestycki, Nina Gantert, Peter Moerters, Nadia Sidorova. J. Stat. Phys. -
Department of Computer Science and Technology – CHERI: The Arm…
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-morello.html22 Feb 2024: Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Peter G. ... What CHERI-aware software will Morello run? The following slide from Robert Watson (Cambridge)'s slides from the DSbD workshop illustrate the rough anticipated software stack to be -
Department of Computer Science and Technology – CTSRD: Project members
https://www.cl.cam.ac.uk/research/security/ctsrd/people.html10 Jul 2023: The project is led by Dr Peter Neumann (SRI) and Dr Robert Watson (Cambridge). ... Dr Robert N.M. Watson (Principal Investigator). Hesham Almatary (PhD student). Ruslan Bukin (research engineer). -
CHAPTER XII : TRUST EMOLUMENTS - FUNDS, STUDENTSHIPS, PRIZES,…
https://www.reporter.admin.cam.ac.uk/univ/so/2012/chapter12-section2.html31 Jan 2013: Statutes and Ordinances of the University of Cambridge. Preceding: Chapter XI. Following:CHAPTER XII. pp. 752–1000. TRUST EMOLUMENTS. Previous section:Section 2. FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS, ETC. detailed here]. GENERAL REGULATIONS -
https://www2.mrc-lmb.cam.ac.uk/groups/greger/wp-json/wp/v2/pages/13
https://www2.mrc-lmb.cam.ac.uk/groups/greger/wp-json/wp/v2/pages/13Senior electrophysiologist at Metrion Biosciences)/liliJake Watson (Post-doc in Jonas lab at IST Austria)/liliBianka Kohegyi/liliPeter Matthews (Electrophysiologist at Metrion Biosciences)/liliJan-Niklas Dohrke (PhD student at MPI ... at Metrion -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-876.html18 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 -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-891.html18 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 -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-907.html18 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, -
Curriculum VitaePeter Michael Sewell October 4, 2023…
https://www.cl.cam.ac.uk/~pes20/cv.pdf4 Oct 2023: Robert N. M. Watson, Peter G. Neumann, Jonathan Woodru, Michael Roe, HeshamAlmatary, Jonathan Anderson, John Baldwin, Graeme Barnes, David Chisnall, Jessica Clarke,Brooks Davis, Lee Eisen, Nathaniel Wesley Filardo, Richard Grisenthwaite, ... Robert N. M. -
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/~pes20/elver_abstracts.html23 May 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, -
Writing Europe, 500-1450 | English Faculty News
https://www.english.cam.ac.uk/news/archives/793Other contributors include: Rolf H. Bremmer Jr, Stewart Brookes, Aidan Conti, Helen Fulton, Marilena Maniaci, Debora Matos, Annina Seiler, Peter A. ... Stokes, Nadia Togni, Svetlana Tsonkova, Matilda Watson, George Younge. Posted in:Tagged:Post navigation -
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. -
Isla: Integrating full-scale ISA semantics and axiomatic concurrency…
https://www.cl.cam.ac.uk/~pes20/papers/topic.ISA_semantics.html23 May 2024: M. Watson, and Peter Sewell. In ESOP 2022. [ Isla: Integrating full-scale ISA semantics and axiomatic concurrency models. ... Christopher Pulte, Shaked Flur, Will Deacon, Jon French, Susmit Sarkar, and Peter Sewell.
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.