Search
Search Funnelback University
- Refined by:
- Date: Past year
11 -
60 of
83
search results for `Peter Watson`
Fully-matching results
-
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-951.html7 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, -
topic.WG14.bib
https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14_bib.html23 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}, -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-987.html21 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 -
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. -
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. -
CN: Verifying systems C code with separation-logic refinement types.…
https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_abstracts.html23 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. -
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 -
topic.Cerberus.bib
https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_bib.html23 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}, -
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. -
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined…
https://www.cl.cam.ac.uk/~pes20/asplos24spring-paper110.pdf2 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, -
sewellandgroupbib2
https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_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, -
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheriformal.html2 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, -
Department of Computer Science and Technology: CHERI Publications
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-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. -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-986.html10 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. -
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. -
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. -
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. -
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 = -
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, -
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). -
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. -
Department of Computer Science and Technology – Course pages 2023–24: …
https://www.cl.cam.ac.uk/teaching/2324/R209/materials.html10 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. -
CHERI C semantics as an extension of the ISO C17 standard
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-988.pdf28 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 -
Books - MRC Laboratory of Molecular Biology
https://www2.mrc-lmb.cam.ac.uk/about-lmb/archive/books/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.
-
Early performance results from the prototype Morello microarchitecture
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-986.pdf2 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. -
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), -
Technical ReportNumber 1 Computer Laboratory UCAM-CL-TR-1ISSN…
https://www.cl.cam.ac.uk/techreports/tr-titles.pdf27 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. -
topic.ISA_semantics.bib
https://www.cl.cam.ac.uk/~pes20/papers/topic.ISA_semantics_bib.html23 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 -
Department of Computer Science and Technology – Security Group: 2011
https://www.cl.cam.ac.uk/research/security/seminars/archive/2011.html17 Jun 2024: 03 May 14:45CTSRD: Capability CPUs revisited / Peter Neumann, SRI International / Robert Watson, University of Cambridge. -
Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/202404asplos-cornucopia-reloaded.pdf2 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. -
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, -
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. -
Not Averse: Archive of meeting dates, themes, forms
poetry.girton.cam.ac.uk/poetry-themes-archive.html17 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). -
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 -
SCI-MUS-MATHS © World Scientific
www.damtp.cam.ac.uk/user/mem/papers/LHCE/lucidity-preface.html22 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. -
Computer Science & Technology Advanced Topics inComputer…
https://www.cl.cam.ac.uk/teaching/2324/R265/slides/cheri2023.pdf2 Nov 2023: Run-time Environment. Brooks Davisbrooks.davis@sri.com. Robert N. M. Watson†robert.watson@cl.cam.ac.uk. Alexander Richardson†alexander.richardson@cl.cam.ac.uk. Peter G. ... Alfredo Mazzinghi†am2419@cam.ac.uk. Edward Tomasz -
CHERIoT: Complete Memory Safety for Embedded Devices
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/202310ieeemicro-cheriot-uarch.pdf9 Dec 2023: Yucong TaoYucong.Tao@microsoft.com. MicrosoftMountain View, California, USA. Robert N. M. Watsonrobert.watson@cl.cam.ac.ukUniversity of Cambridge. ... Moore, Yucong Tao, RobertN. M. Watson, and Hongyan Xia. 2023. CHERIoT: Complete Memory Safetyfor -
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, -
Efficient spatial and temporal safety for microcontrollers and…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-984.pdf2 Aug 2023: application-class processors. Peter David Rugg. July 2023. 15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone 44 1223 763500. ... Efficient spatial and temporal safety for microcontrollers and. application-class processors. Peter David Rugg. -
Curriculum Vitae – Ross Anderson I am Professor of ...
https://www.cl.cam.ac.uk/~rja14/Papers/cv.pdf9 Mar 2024: Ten former students are professors (George Danezis andSteven Murdoch at UCL, Robert Watson, Frank Stajano and Markus Kuhn at Cam-bridge, Jeff Yan at Strathclyde, Feng Hao at Warwick, Shishir Nagaraja ... Skoroboga-tov, Hyun-Jin Choi, Richard Clayton, -
https://www.cl.cam.ac.uk/~jps79/movies.tinydb.json
https://www.cl.cam.ac.uk/~jps79/movies.tinydb.json4 Oct 2023: movie_id": "tt0022100", "title": "M", "year": 1931, "type": "movie", "minutes": 117, "genres": ["Crime", "Mystery", "Thriller"], "rating": 8.3, "rating_votes": 162896, "actors": [{"person_id": "nm0000048", "name": "Peter Lorre", "roles": ["Hans -
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. -
CHERI Rigorous Engineering
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-formal-b.html3 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, -
https://www.cl.cam.ac.uk/~jps79/movies-original.tinydb.json
https://www.cl.cam.ac.uk/~jps79/movies-original.tinydb.json3 Oct 2023: name": "Peter Lorre", "roles": ["Hans Beckert"]}, {"person_id": "nm0927145", "name": "Ellen Widmann", "roles": ["Frau Beckmann"]}, {"person_id": "nm0484737", "name": "Inge Landgut", "roles": ["Elsie Beckmann"]}, {"person_id": "nm0921532", "name": -
Cambridge University Reporter Special No 3 (2023-24) - Fellows of the …
https://www.reporter.admin.cam.ac.uk/reporter/2023-24/special/03/21 Dec 2023: Navaratnam Visvanathan phd emeritus fellow. Rayner Peter John Wynn ma phd emeritus fellow. ... 2010. Bell Duncan Stuart Alan mphil phd fba. Monie Thomas Peter ma phd.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.