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 - 50 of 83 search results for `Peter Watson`

  1. Fully-matching results

  2. Computer Laboratory: Résumé for Professor Simon Moore

    https://www.cl.cam.ac.uk/~swm11/resume/index.html
    23 Jun 2024: M. Watson, Peter G. Neumann and Simon W. Moore. Randomized Testing of RISC-V CPUs using Direct Instruction Injection. ... Robert N.M. Watson, Peter G. Neumann Jonathan Woodruff, Jonathan Anderson, Ross Anderson, Nirav Dave, Ben Laurie, Simon W.

  3. Department of Computer Science and Technology: Alexandre Joannou

    https://www.cl.cam.ac.uk/~aj443/
    22 May 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John Baldwin, Graeme Barnes, David Chisnall, Jessica Clarke,

  4. Peter Sewell

    https://www.cl.cam.ac.uk/~pes20/
    23 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. ... M. Watson, and Peter Sewell. In ESOP 2022. [ Relaxed virtual memory in Armv8-A.

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

    https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri.html
    23 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,

  6. Peter Sewell: group bibliography by date

    https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2.html
    23 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,

  7. Peter Sewell: group bibliography, by topic

    https://www.cl.cam.ac.uk/~pes20/papers/topics.html
    23 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,

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

    https://www.cl.cam.ac.uk/~pes20/recent.html
    23 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. ... M. Watson, and Peter Sewell. In ESOP 2022. [ Relaxed virtual memory in Armv8-A.

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

  10. ELVER

    https://www.cl.cam.ac.uk/~pes20/index-elver.html
    23 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,

  11. N3005: A Provenance-aware Memory Object Model for C. Working ...

    https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14_abstracts.html
    23 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.

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

  13. topic.WG14.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14_bib.html
    23 May 2024: Watson and Peter Sewell }, title = {Into the depths of {C}: elaborating the de facto standards}, abstract = { C remains central to our computing infrastructure. ... M. Watson and Peter Sewell}, title = {Exploring {C} Semantics and Pointer Provenance},

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

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-987.html
    21 Sep 2023: BibTeX record. @TechReport{UCAM-CL-TR-987, author = {Watson, Robert N. M. and Neumann, Peter G. ... Theodore and Moore, Simon W. and Murdoch, Steven J. and Nienhuis, Kyndylan and Norton, Robert and Richardson, Alexander and Rugg, Peter and Sewell, Peter

  15. Curriculum VitaePeter Michael Sewell October 4, 2023…

    https://www.cl.cam.ac.uk/~pes20/cv.pdf
    4 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.

  16. Isla: Integrating full-scale ISA semantics and axiomatic concurrency…

    https://www.cl.cam.ac.uk/~pes20/papers/topic.ISA_semantics.html
    23 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.

  17. CN: Verifying systems C code with separation-logic refinement types.…

    https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_abstracts.html
    23 May 2024: M. Watson, and Peter Sewell. In POPL 2019, Proc. ACM Program. ... Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award.

  18. Department of Computer Science and Technology: Capability Hardware…

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
    22 Feb 2024: Watson (University of Cambridge), Simon W. Moore (University of Cambridge), Peter Sewell (University of Cambridge), Brooks Davis (SRI International), and Peter Neumann (SRI International). ... Peter G. Neumann, the San Jose Mercury News's Bruce Newman

  19. topic.Cerberus.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_bib.html
    23 May 2024: Watson and Peter Sewell }, title = {Into the depths of {C}: elaborating the de facto standards}, abstract = { C remains central to our computing infrastructure. ... M. Watson and Peter Sewell}, title = {Exploring {C} Semantics and Pointer Provenance},

  20. Department of Computer Science and Technology: CTSRD

    https://www.cl.cam.ac.uk/research/security/ctsrd/
    31 Oct 2023: M. Watson (University of Cambridge), Simon W. Moore (University of Cambridge), Peter Sewell (University of Cambridge), Brooks Davis (SRI International) and Peter Neumann (SRI International). ... New York Times, October 2012: article on Dr Peter G.

  21. Formal Mechanised Semantics of CHERI C: Capabilities, Undefined…

    https://www.cl.cam.ac.uk/~pes20/asplos24spring-paper110.pdf
    2 Nov 2023: Edinburgh, UKIan.Stark@ed.ac.uk. Robert N. M. WatsonUniversity of Cambridge. Cambridge, UKRobert.Watson@cl.cam.ac.uk. Peter SewellUniversity of Cambridge. ... M. Watson, and Peter Sewell. 2024. For-mal Mechanised Semantics of CHERI C: Capabilities,

  22. sewellandgroupbib2

    https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_abstracts.html
    23 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,

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

  24. Department of Computer Science and Technology: CHERI Publications

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-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.

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

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-986.html
    10 Oct 2023: PDF (0.9 MB). BibTeX record. @TechReport{UCAM-CL-TR-986, author = {Watson, Robert N. M. ... and Clarke, Jessica and Sewell, Peter and Woodruff, Jonathan and Moore, Simon W.

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

  27. Arm Morello Programme: Architectural security goals and known…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-982.pdf
    14 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,

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

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

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

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-982.html
    14 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.

  31. N3005: A Provenance-aware Memory Object Model for C. Working ...

    https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14.html
    23 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.

  32. sewellandgroupbib2.bib

    https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_bib.html
    23 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 =

  33. Department of Computer Science and Technology: CHERI Rigorous…

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-formal.html
    22 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,

  34. Department of Computer Science and Technology – CHERI: The Arm…

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-morello.html
    22 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

  35. Department of Computer Science and Technology – CTSRD: Project members

    https://www.cl.cam.ac.uk/research/security/ctsrd/people.html
    10 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).

  36. topic.cheri.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri_bib.html
    23 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.

  37. Department of Computer Science and Technology – Course pages 2023–24: …

    https://www.cl.cam.ac.uk/teaching/2324/R209/materials.html
    10 Oct 2023: Please contact the module instructors if you have any questions. Adversarial reasoning (5 October 2023 - Anderson, Watson, Hutchings). ... Brooks Davis, Robert NM Watson, Alexander Richardson, Peter G. Neumann, Simon W.

  38. CHERI C semantics as an extension of the ISO C17 standard

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-988.pdf
    28 Oct 2023: Robert N. M. Watson, Peter Sewell. October 2023. 15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone 44 1223 763500. ... M. Watson, Peter Sewell,SRI International. This work was supported by the UK Industrial StrategyChallenge Fund (ISCF) under the

  39. Books - MRC Laboratory of Molecular Biology

    https://www2.mrc-lmb.cam.ac.uk/about-lmb/archive/books/
    Thumbnail for Books - MRC Laboratory of Molecular Biology 21 Jul 2023: Paperback, 233pp. Includes papers chosen by Sydney Brenner, Peter Lawrence, Max Perutz and James Watson. ... DNA. The Big Idea: Crick, Watson & DNA. Strathern, Paul. London: Arrow Books, 1997.

  40. Early performance results from the prototype Morello microarchitecture

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-986.pdf
    2 Oct 2023: Robert N. M. Watson, Jessica Clarke,Peter Sewell, Jonathan Woodruff,Simon W. Moore, Graeme Barnes,. ... 2023 Robert N. M. Watson, Jessica Clarke, Peter Sewell,Jonathan Woodruff, Simon W.

  41. Isla: Integrating full-scale ISA semantics and axiomatic concurrency…

    https://www.cl.cam.ac.uk/~pes20/papers/topic.ISA_semantics_abstracts.html
    23 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.

  42. The Arm Morello Evaluation Platform - Validating CHERI-based Security …

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/202305ieeemicro-morello-platform.pdf
    18 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),

  43. Technical ReportNumber 1 Computer Laboratory UCAM-CL-TR-1ISSN…

    https://www.cl.cam.ac.uk/techreports/tr-titles.pdf
    27 Nov 2023: Technical ReportNumber 1. Computer Laboratory. UCAM-CL-TR-1ISSN 1476-2986. The JACKDAW database package. M.F. Challis. October 1974. 15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone 44 1223 763500. https://www.cl.cam.ac.uk/. 1974 M.F.

  44. topic.ISA_semantics.bib

    https://www.cl.cam.ac.uk/~pes20/papers/topic.ISA_semantics_bib.html
    23 May 2024: Mulligan and Christopher Pulte and Susmit Sarkar and Peter Sewell}, title = {An integrated concurrency and core-{ISA} architectural envelope definition, and test oracle, for {IBM} {POWER} multiprocessors}, abstract = {Weakly consistent ... Sewell, Thomas

  45. Department of Computer Science and Technology – Security Group: 2011

    https://www.cl.cam.ac.uk/research/security/seminars/archive/2011.html
    17 Jun 2024: 03 May 14:45CTSRD: Capability CPUs revisited / Peter Neumann, SRI International / Robert Watson, University of Cambridge.

  46. Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/202404asplos-cornucopia-reloaded.pdf
    2 Mar 2024: Jessica ClarkeUniversity of Cambridge. UK. Peter RuggUniversity of Cambridge. UK. Brooks DavisSRI International. ... Moore, Peter G. Neumann, and RobertN. M. Watson. 2024. Cornucopia Reloaded: Load Barriers for CHERIHeap Temporal Safety.

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

    https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri_abstracts.html
    23 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,

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

  49. Not Averse:  Archive of meeting dates, themes, forms

    poetry.girton.cam.ac.uk/poetry-themes-archive.html
    17 Jun 2024: A storm in a teacup (Anon). Going Through the (e)Motions (Peter Sparks). ... Love Son (Anna Reynolds). Minute Waltz (Hannah Watson). Splendid (Peter Sparks).

  50. Department of Computer Science and Technology – Security Group: All

    https://www.cl.cam.ac.uk/research/security/seminars/archive/all.html
    17 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

  51. SCI-MUS-MATHS © World Scientific

    www.damtp.cam.ac.uk/user/mem/papers/LHCE/lucidity-preface.html
    22 Sep 2023: Daphne Sulston, John Sulston, Stephen Thomson, Paul Valdes, Yixin Wan, Andy Watson, Ronald S. ... Watts, Estelle Wolfers, Flick Wolfers, Jeremy Wolfers, Jon Wolfers, Peter Wolfers, Eric Wolff, Toby Wood, Jim Woodhouse, and Laure Zanna.

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.