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
201 - 250 of 434 search results for `Peter Watson`

  1. Fully-matching results

  2. Developing a Test Suite for Transient-Execution Attacks on RISC-V and …

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/202106-carrv-transient-execution.pdf
    18 Feb 2022: M. Watson, Alexander Richardson, Peter G. Neumann,Simon W. Moore, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel WesleyFilardo, Khilan Gudka, Alexandre Joannou, Ben Laurie, A. ... RISC-V Foundation. Volume II: Privileged Architecture. [19]

  3. Notices - Cambridge University Reporter 6217

    https://www.reporter.admin.cam.ac.uk/reporter/2010-11/weekly/6217/section1.shtml
    9 Mar 2011: Nicholas J. Gay. M. Leggatt. Peggy Watson. J. L. Gluza. Pei-Yin Lin. ... Benjamin Walton. Colin Crump. Peter Mandler. Peggy Watson. J. Dalley. H.

  4. 20160423-cheri-microkernel-workshop

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/pdfs/20160423-cheri-microkernel-workshop.pdf
    18 Feb 2022: Moore. University of Cambridge. Peter G. NeumannSRI International. CHERI Microkernel Workshop – 23 April 2016. ... CHERI models Simon Moore. CHERI C compiler David Chisnall. CheriBSD OS model Robert Watson.

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

  6. Computer Science & Technology Advanced Topics inComputer…

    https://www.cl.cam.ac.uk/teaching/2324/R265/slides/cheri2023.pdf
    2 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

  7. Notices - Cambridge University Reporter 6557

    https://www.reporter.admin.cam.ac.uk/reporter/2018-19/weekly/6557/section1.shtml
    24 Jul 2019: M. Watson and Professor Peter Sewell, which it is currently intended will be used to support their programme of research known as RESET (Rigorous Engineering for Secure and Trustworthy Systems) within ... N. M. Watson and Professor Simon Moore to further

  8. 20190414-cheriabi

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20190414-cheriabi.pdf
    18 Feb 2022: CheriABIEnforcing/Valid/Pointer/Provenance/and/Minimizing/Pointer/Privilege/in/the/POSIX/C/Run?time/Environment. ... David/Chisnall,. James/Clarke,/Nathaniel/Wesley/Filardo,/Khilan

  9. Computer Science & Technology Advanced Topics inComputer…

    https://www.cl.cam.ac.uk/teaching/2223/R265/slides/cheri.pdf
    3 Nov 2022: 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

  10. FELLOWS OF THE COLLEGES - Cambridge University Reporter Special No 2…

    https://www.reporter.admin.cam.ac.uk/reporter/2013-14/special/02/section1.shtml
    3 Oct 2013: Rayner Peter John Wynn ma phd emeritus fellow. 1972. Ingham Geoffrey Keith phd. ... Harris Peter llm phd. Kendall Mary ma. 2002. Packwood Allen George mphil frhists.

  11. Bluespec Extensible RISC Implementation: BERI Software reference

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-869.pdf
    14 Apr 2015: Moore, Steven J. Murdoch,Peter G. Neumann, Jonathan Woodruff. April 2015. 15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone 44 1223 763500. ... http://www.cl.cam.ac.uk/. c 2015 Robert N. M. Watson, David Chisnall,Brooks Davis, Wojciech Koszek,

  12. Fellows of the Colleges - Cambridge University Reporter Special No 2…

    https://www.reporter.admin.cam.ac.uk/reporter/2014-15/special/02/section1.shtml
    3 Oct 2014: Hasan Tawfique meng phd. Toner Jeremy Peter phd. 2014. Mei Jianjun msc phd. ... 2008. Passmore Lori Anne phd. 2009. Markowich Peter dr techn. Rowe Elizabeth phd.

  13. Exploring C Semantics and Pointer Provenance

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201901-popl-cerberus.pdf
    18 Feb 2022: 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.

  14. Memory safety with CHERI capabilities: security analysis, language…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-975.pdf
    7 Nov 2022: To all members of theCHERI project, and especially Alex Richardson, Jessica Clarke, Peter Neumann, and JohnBaldwin, for making this work possible. ... Reports. • Peter G. Neumann and Brett F. Gutstein. CHERI’s mitigation of security vulnera-bilities.

  15. Reporter 25/4/01: Congregation of the Regent House on 24 March 2001

    https://www.reporter.admin.cam.ac.uk/reporter/2000-01/weekly/5843/34.html
    29 Nov 2011: Doctor of Philosophy. Ho, Peter Kian-Hoon. Master of Arts. Watson, Ian Andrew. ... Khawaja, Anthony Peter. Kusznir, Helen Margaret. Lewis, Natasha Jane Victoria. McElwee, Martin John.

  16. Reporter 21/4/99: Congregation of the Regent House on 20 March 1999

    https://www.reporter.admin.cam.ac.uk/reporter/1998-99/weekly/5770/27.html
    29 Nov 2011: Mason, Charlotte Clare. Mews, Corin James Stuart. Mitchell, Fiona Jane. Oates, William Peter. ... Wylie, Peter Neal. Zsak, Andras. in absence. Master of Arts. Bailey, Robin Thomas.

  17. Capability Hardware Enhanced RISC Instructions: CHERI User's guide

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-851.pdf
    14 Jul 2014: CHERI User’s guide. Robert N.M. Watson, David Chisnall,Brooks Davis, Wojciech Koszek,. ... Simon W. Moore, Steven J. Murdoch,Peter G. Neumann, Jonathan Woodruff. April 2014.

  18. Fellows of the Colleges - Cambridge University Reporter Special No 2…

    https://www.reporter.admin.cam.ac.uk/reporter/2012-13/special/02/section1.shtml
    4 Oct 2012: Navaratnam Visvanathan phd emeritus fellow. Rayner Peter John Wynn ma phd emeritus fellow. ... 1999. McNaughton Peter Anthony bsc ma dphil [1983]. 2001. Fiore Marcelo Pablo phd.

  19. Selwyn College Chapel – Music for Choral Services Michaelmas Term 2007

    https://www.sel.cam.ac.uk/sites/default/files/assets/chapel/music%20list%20lent%202017.pdf
    10 Jan 2017: Thursday 19 January RESPONSES Peter Nardone PSALM 100 Choral Evensong 6:30pm CANTICLES Watson in E ANTHEM The three kings – Jonathan Dove NEH VOLUNTARY How lovely shines the morning star – Flor ... Tuesday 31 January RESPONSES Peter Nardone PSALM 21
    By: Sarah E. A. MacDonald

  20. MineSweeper: A ``Clean Sweep'' for Drop-In Use-after-Free…

    https://www.cl.cam.ac.uk/~tmj32/papers/docs/erdos22-asplos.pdf
    1 Oct 2022: MineSweeper: A “Clean Sweep” for Drop-In Use-after-FreePrevention. Márton ErdősUniversity of Cambridge. Cambridge, UKme412@cam.ac.uk. Sam AinsworthUniversity of Edinburgh. Edinburgh, UKsam.ainsworth@ed.ac.uk. Timothy M. JonesUniversity of

  21. CHERIoT: Complete Memory Safety for Embedded Devices

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/202310ieeemicro-cheriot-uarch.pdf
    9 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

  22. Hardware support for compartmentalisation

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-887.pdf
    27 May 2016: Jonathan Woodruff, Robert N. M. Watson, David Chisnall, Simon W Moore, JonathanAnderson, Brooks Davis, Ben Laurie, Peter G Neumann, Robert Norton, andMichael Roe. ... 12. • Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe,

  23. Cambridge University Reporter Special No 2 (2016-17) - Fellows of the …

    https://www.reporter.admin.cam.ac.uk/reporter/2016-17/special/02/
    19 Oct 2016: Hasan Tawfique meng phd. Toner Jeremy Peter phd. 2014. Mei Jianjun msc phd. ... 2015. Wadhams Peter scd. Visiting Fellows. 2016. Alici Antonello phd. Ambos Kai phd.

  24. Cambridge University Reporter Special No 2 (2015-16) - Fellows of the …

    https://www.reporter.admin.cam.ac.uk/reporter/2015-16/special/02/
    5 Oct 2015: 1967. Watson James Dewey scd kbe frs. 1969. Parris Matthew Francis ba ma. ... 2001. Lash Nicholas Langrishe Alleyne phd dd. Dronke Ernest Peter Michael ma fba.

  25. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2006-07/special/08/1.html
    28 Jan 2022: b.1942), and Untitled/Three men in moonlight by Peter Howson (b.1958), together with two pastels by the same artist and two more, The Dead Gladiator by Anthony Pilbro ... 9-11. Sally-Ann Ashton, review of 'Peter. F. Dorman, Faces in Clay: Technique and

  26. cheri-jni-export

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20170412-asplos-cherijni-slides.pdf
    18 Feb 2022: Moore, Peter G. Neumann, Ben Laurie,. Robert N. M. Watson. The Java abstract machine.

  27. Acta - Cambridge University Reporter 6160

    https://www.reporter.admin.cam.ac.uk/reporter/2009-10/weekly/6160/section14.shtml
    7 Oct 2009: Mr Martin Watson. Dr Gerard Duveen. Dr Festus Adenrele. Dr Peter Bunclark.

  28. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2005-06/weekly/6022/29.html
    28 Jan 2022: WATSON. DIMA CHIRGADZE. P. A. HAYNES. L. PACKMAN. PENNY WATSON. VINCENT PETER COLLINS. ... C. GORDON. M. V. LUCAS-SMITH. PETER ROBINSON. E. J. BRISCOE. IAN A.

  29. Bluespec Extensible RISC Implementation: BERI Software reference

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-853.pdf
    14 Jul 2014: Robert N.M. Watson, David Chisnall,Brooks Davis, Wojciech Koszek,. Simon W. Moore, Steven J. ... Murdoch,Peter G. Neumann, Jonathan Woodruff. April 2014. 15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone 44 1223 763500.

  30. An Introduction to CHERI

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-941.pdf
    7 Jul 2020: Robert N. M. Watson, Simon W. Moore,Peter Sewell, Peter G. Neumann. ... https://www.cl.cam.ac.uk/. c 2019 Robert N. M. Watson, Simon W. Moore,Peter Sewell, Peter G.

  31. 20160423-cheri-cherios

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/pdfs/20160423-cheri-cherios.pdf
    18 Feb 2022: Government. CHERICheriOS Microkernel. Hadrien BarralRobert N. M. Watson, Simon W. Moore, Peter G.

  32. 20160423-cheri-models

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/pdfs/20160423-cheri-models.pdf
    18 Feb 2022: Government. CHERI Processor ModelsSimonW.Moore. Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, Hadrien Barral, Ruslan Bukin, David Chisnall, Nirav Dave, Brooks Davis, Lawrence Esswood, Khilan Gudka,.

  33. Efficient spatial and temporal safety for microcontrollers and…

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

  34. Curriculum Vitae – Ross Anderson I am Professor of ...

    https://www.cl.cam.ac.uk/~rja14/Papers/cv.pdf
    9 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,

  35. https://www.cl.cam.ac.uk/~jps79/movies.tinydb.json

    https://www.cl.cam.ac.uk/~jps79/movies.tinydb.json
    4 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

  36. 71 ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS ALASDAIR ...

    https://www.cl.cam.ac.uk/~pes20/sail/sail-popl2019.pdf
    9 Nov 2018: Gray, Robert M. Norton,Prashanth Mundkur, Mark Wassell, Jon French, Christopher Pulte, Shaked Flur, Ian Stark, Neel Krishnaswami,and Peter Sewell. ... 2.2 MIPS and CHERI-MIPSCHERI-MIPS [Watson et al. 2018, 2015; Woodruff et al.

  37. 20171108-iccd-tags

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20171108-iccd-tags.pdf
    18 Feb 2022: Hongyan Xia, Robert N. M. Watson, David Chisnall, Michael Roe, Brooks Davis, Peter G.

  38. Genetic and Generic Determinism (article)

    https://www.hps.cam.ac.uk/files/lipton-genetic-generic.pdf
    5 Apr 2021: Peter Lipton. Department of History and Philosophy of Science. Free School Lane, Cambridge CB2 3RH UK. ... 13. Bibliography. Ayer, A.J. (1946) ‘Freedom and Necessity’, Polemic, 5. Reprinted in Watson (1982).

  39. CHERI compartmentalisation for embedded systems

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-976.pdf
    10 Nov 2022: Special thanks to my supervisor, Robert N. M. Watson, for giving me the opportunity to workon a research topic which reflects my passion. ... Further, I am grateful tomy colleagues: Alexander Richardson, Jessica Clarke, Peter Rugg, Alexandre Joannou,

  40. CHERI JNI: Sinking the Java security model into the ...

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201704-asplos-cherijni.pdf
    18 Feb 2022: Moore† Peter G. Neumann‡. Ben LaurieO Robert N. M. Watson††University of Cambridge ‡SRI International ODeepMind Technologies Ltd.

  41. CTSRD CRASH-worthy TrustworthySystems Research and DevelopmentCTSRD…

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20120303-resolve-cheri.pdf
    18 Feb 2022: Robert N.M. Watson, Peter G. NeumannJonathan Woodruff, Jonathan Anderson, Ross Anderson. ... SRI. Systems, Formal Methods: Peter Neumann, Nirav Dave, Hassen Saidi, Rance DeLong, John Rushby, Pat Lincoln, Natarajan Shankar.

  42. 20140618-jdw57-isca-cheri.key

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20140618-isca2014-cheri-slides.pdf
    18 Feb 2022: Jonathan Woodruff, Robert N. M. Watson, David Chisnall, Simon W. Moore, Jonathan Anderson, Brooks Davis, Ben Laurie, Peter G.

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

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-873.pdf
    19 Sep 2016: extended version). Khilan Gudka, Robert N.M. Watson,Jonathan Anderson, David Chisnall,. Brooks Davis, Ben Laurie, Ilias Marinos,Peter G. ... http://www.cl.cam.ac.uk/. c 2015 Khilan Gudka, Robert N.M. Watson,Jonathan Anderson, David Chisnall, Brooks

  44. Cambridge University Reporter Special No 2 (2017-18) - Fellows of the …

    https://www.reporter.admin.cam.ac.uk/reporter/2017-18/special/02/
    20 Oct 2017: 2017. Cane Peter Frederic fba fassa faal. To Ho-On phd. Tanna Natasha. ... O’Brien Conor phd. Savory Sebastian phd. Young Anna phd. Sloman Peter phd.

  45. 20150305-aplos-cheri-c.key

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20150305-aplos2015-cheri-cmachine-slides.pdf
    18 Feb 2022: Watson†, Jonathan Woodruff†, Munraj Vadera†, Simon W. Moore†, Peter G. Neumann‡, and Michael Roe†.

  46. ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS

    https://www.cl.cam.ac.uk/~nk480/sail-submitted.pdf
    12 Jul 2018: 2.2 MIPS and CHERI-MIPSCHERI-MIPS [Watson et al. 2017, 2015; Woodruff et al.

  47. FELLOWS OF THE COLLEGES - Cambridge University Reporter Special No 3…

    https://www.reporter.admin.cam.ac.uk/reporter/2010-11/special/03/section1.shtml
    7 Oct 2010: Navaratnam Visvanathan phd emeritus fellow. Rayner Peter John Wynn ma phd emeritus fellow. ... Alexander Gavin Robert ma phd. 1999. McNaughton Peter Anthony ma bsc dphil [1983].

  48. FELLOWS OF THE COLLEGES - Cambridge University Reporter Special No 2…

    https://www.reporter.admin.cam.ac.uk/reporter/2011-12/special/02/section1.shtml
    12 Oct 2011: Navaratnam Visvanathan phd emeritus fellow. Rayner Peter John Wynn ma phd emeritus fellow. ... 1999. McNaughton Peter Anthony ma bsc dphil [1983]. 2001. Fiore Marcelo Pablo phd.

  49. 20190926-innovateuk-cheri

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20190926-innovateuk-cheri-slides.pdf
    18 Feb 2022: Peter Sewell, Stacey Son, Domagoj Stolfa, Andrew Turner, Munraj Vadera, Jonathan Woodruff, Hongyan Xia, and Bjoern A. ... To learn more about the CHERI architecture and prototypes:http://www.cheri-cpu.org/. • Watson, et al.

  50. 20151014-ccs-soaap-distribution

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20151014-ccs-soaap-distribution.pdf
    18 Feb 2022: Government. Clean Application Compartmentalization with SOAAP. Khilan Gudka, Robert N.M. Watson, Jonathan Anderson†, David Chisnall, Brooks Davis, Ben Laurie, Ilias Marinos, Peter G. ... Linux SELinux 200. CapLinux seccomp 11,300. FreeBSD Capsicum 100.

  51. OFFICERS IN INSTITUTIONS PLACED UNDER THE SUPERVISION OF THE GENERAL…

    https://www.reporter.admin.cam.ac.uk/reporter/2017-18/special/04/section3.shtml
    8 Feb 2018: 2012. Paul David Peter Pharoah, CAI. Cancer Prevention. 2014. Rebecca Clare Fitzgerald, T. ... Christopher John Edward Watson, F. Urban and Regional Economics. 2005. Peter Tyler, CTH.

Refine your results

Format

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.