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 94 search results for `Peter Watson`

  1. Fully-matching results

  2. Computer Laboratory: Dr A. Theodore Markettos

    https://www.cl.cam.ac.uk/~atm26/
    22 Nov 2022: PDF). Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. ... Moore, Alex Bradbury, Hongyan Xia, Robert N. M. Watson, David Chisnall, Michael Roe, Brooks Davis, Edward Napierala, John Baldwin, Khilan Gudka, Peter G.

  3. Computer Laboratory: Jonathan Woodruff

    https://www.cl.cam.ac.uk/~jdw57/
    11 Apr 2022: Robert NM Watson, Peter G Neumann, Jonathan Woodruff, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Simon W Moore, Steven J Murdoch, Michael Roe, Capability Hardware Enhanced RISC Instructions: CHERI ... 2013. Robert NM Watson, Peter G

  4. Computer Laboratory: Thomas Bauereiss

    https://www.cl.cam.ac.uk/~tb592/
    19 Apr 2022: M. Watson, Peter Sewell. In ESOP 2022, pp. 174-203 [Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process. ... M. Watson, Peter Sewell. In IEEE Symposium on Security and Privacy 2020, pp.

  5. Making the digital world a safer place

    https://www.cam.ac.uk/stories/improving-computer-security
    Thumbnail for Making the digital world a safer place 25 May 2022: CHERI was conceived in 2010, with initial funding from DARPA. Professors Robert Watson and Simon Moore at the University’s Department of Computer Science and Technology, along with Dr Peter Neumann ... Watson and Moore were later joined by Professor
    By: Sarah Fell

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

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-850.html
    18 Jul 2022: PDF (0.7 MB). BibTeX record. @TechReport{UCAM-CL-TR-850, author = {Watson, Robert N.M. and Neumann, Peter G.

  7. Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, ...

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/2012resolve-cheri.pdf
    18 Feb 2022: Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, Ross Anderson, Nirav Dave, Ben Laurie, SimonW. ... robert.watson@cl.cam.ac.uk. Peter G. NeumannSRI International. neumann@csl.sri.com. Jonathan WoodruffUniversity of Cambridge.

  8. Department of Computer Science and Technology – Course pages 2022–23: …

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

  9. History

    www.tcm.phy.cam.ac.uk/about/history/
    22 Jul 2022: on DNA), Peter Hirsch turning the electron microscope onto seeing dislocations, and more. ... Peter Littlewood was appointed as Volker's successor as chair and head of group.

  10. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2006-07/special/03/8.html
    28 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.

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

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-864.html
    18 Jul 2022: PDF (0.7 MB). BibTeX record. @TechReport{UCAM-CL-TR-864, author = {Watson, Robert N. M. ... and Neumann, Peter G. and Woodruff, Jonathan and Anderson, Jonathan and Chisnall, David and Davis, Brooks and Laurie, Ben and Moore, Simon W.

  12. Department of Computer Science and Technology – Course pages 2020–21: …

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

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

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-940.html
    18 Jul 2022: and Moore, Simon W. and Neumann, Peter G. and Stark, Ian and Watson, Robert N. ... M. and Sewell, Peter}, title = {{Rigorous engineering for hardware security: formal modelling and proof in the CHERI design and implementation process}}, year = 2019,

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

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-959.html
    18 Jul 2022: Graeme and Watson, Robert N. ... M. and Sewell, Peter}, title = {{Verified security for the Morello capability-enhanced prototype Arm architecture}}, year = 2021, month = sep, url =

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

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-927.html
    18 Jul 2022: PDF (10.5 MB). BibTeX record. @TechReport{UCAM-CL-TR-927, 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 Chisnall, David and Davis,

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

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

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

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

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

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

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

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

  20. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2007-08/special/03/8.html
    28 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.

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

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

  22. Position Paper:Defending Direct Memory Access with CHERI Capabilities

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/2020hasp-cheri-dma.pdf
    18 Feb 2022: Theodore Markettos, John Baldwin, Ruslan Bukin, Peter G. Neumann,Simon W. Moore, and Robert N. ... HASP’20, October 2020, Online A. Theodore Markettos, John Baldwin, Ruslan Bukin, Peter G.

  23. CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities …

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201910micro-cheri-temporal-safety.pdf
    18 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.

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

  25. 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]

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

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

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

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

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

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

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

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

  34. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2004-05/special/03/22.html
    28 Jan 2022: 1983. HOLMES Rev Jonathan Michael MA VETMB PHD. 1984. HAYNES Peter Howard MA PHD. ... EVANS David Wainwright MA. WATSON Peter Gordon MA MB BCHIR. 1987.

  35. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2006-07/special/03/22.html
    28 Jan 2022: 1985. HALSTEAD Sir Ronald MA CBE. 1987. MATHIAS Peter MA LITTD CBE FBA. ... EVANS David Wainwright MA. WATSON Peter Gordon MA MB BCHIR. 1993.

  36. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2005-06/special/03/22.html
    28 Jan 2022: 1985. HALSTEAD Sir Ronald MA CBE. 1987. MATHIAS Peter MA LITTD CBE FBA. ... EVANS David Wainwright MA. WATSON Peter Gordon MA MB BCHIR. 1993.

  37. CHERI: A Hybrid Capability-System Architecture forScalable Software…

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201505-oakland2015-cheri-compartmentalization.pdf
    18 Feb 2022: Watson, Jonathan Woodruff, Peter G. Neumann†, Simon W. Moore, Jonathan Anderson‡,David Chisnall, Nirav Dave†, Brooks Davis†, Khilan Gudka, Ben Laurie, Steven J.

  38. Fellows of the Colleges 2021

    https://www.reporter.admin.cam.ac.uk/reporter/2021-22/special/03/CollegeFellows2021.pdf
    18 Feb 2022: 3 ] FELLOWS OF THE COLLEGES 13. DOWNING COLLEGEMasterBookbinder Alan Peter ba ma ma. ... ma phd 2014 Evans Peter David ma phd scd Linden Paul Frederick bsc msc phd frs.
    By: University of Cambridge

  39. The Eagle 2004

    https://www.joh.cam.ac.uk/sites/default/files/inline-files/Eagle_2004%20no%20birthdates_0.pdf
    10 Oct 2022: Canon Peter Dodd (BA 1957, MA 1961). COLLEGE ROOMS. During Michaelmas Term 2003, the College Library provided a display.
    By: SJC

  40. CHAPTER XII - Trusts - Statutes and Ordinances, 2022 Edition

    https://www.reporter.admin.cam.ac.uk/univ/so/pdfs/2022/ordinance12.pdf
    16 Dec 2022: Statutes and Ordinances
    By: University of Cambridge

  41. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2009-10/special/03/22.html
    28 Jan 2022: 1983. HOLMES Rev Jonathan Michael MA VETMB PHD. 1984. HAYNES Peter Howard MA PHD. ... EVANS David Wainwright MA. WATSON Peter Gordon MA MB BCHIR. 1993.

  42. The Eagle 2005

    https://www.joh.cam.ac.uk/sites/default/files/inline-files/Eagle_2005%20no%20birthdates_1.pdf
    10 Oct 2022: Peter Johnstone. CRIMES AND PUNISHMENTS: A JOHNIAN UNDERWORLD. Despite the best endeavours of vigilant Tutors and demanding Directors. ... Johnians who turn t o crime usually have the grace t o commit their offences far beyond the Great Gate, but as
    By: SJC

  43. Fellows of the Colleges 2022, Reporter Special No 3, vol 153 (2022-23)

    https://www.reporter.admin.cam.ac.uk/reporter/2022-23/special/03/CollegeFellows2022.pdf
    21 Dec 2022: 3 ] FELLOWS OF THE COLLEGES 13. DOWNING COLLEGEMasterBookbinder Alan Peter ba ma ma. ... phd 2014 Evans Peter David ma phd scd Linden Paul Frederick bsc msc phd frs.
    By: University of Cambridge

  44. Trinity HallA year in the life of the Trinity ...

    https://www.trinhall.cam.ac.uk/wp-content/uploads/2023/10/S01018_Trinity_Hall_Review_OS_22_SG_WEB-1.pdf
    15 Dec 2022: Trinity HallA year in the life of the Trinity Hall community. TRIN. ITY. HA. LL C. AMBR. IDG. E. Trini. ty H. all R. eview. 202. 1/22. Academic Year 2021/22. 2021/22. This year’s Trinity Hall Review tells the story of the College community’s

  45. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2007-08/special/03/22.html
    28 Jan 2022: SPUFFORD Peter MA PHD LITTD FBA LIFE FELLOW. JACKSON James Anthony MA PHD FRS. ... WATSON Peter Gordon MA MB BCHIR. 1993. CORMACK George Carl MA MB CHB.

  46. Members of University Bodies / Representatives of the University,…

    https://www.reporter.admin.cam.ac.uk/reporter/2021-22/special/05/05-UniversityBodies-2022.pdf
    11 Jul 2022: Ian Michael Hutchings, JN, Dr Matthew Russell Jones, DAR, Dr Penelope Jayne Watson, EM, Prof. ... Mauro Federico Guillén, Q, Prof. William Hurst, W, Mr Peter Andrew Jestyn Phillips, W, Prof.
    By: University of Cambridge

  47. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2008-09/special/03/22.html
    28 Jan 2022: 1985. HALSTEAD Sir Ronald MA CBE. 1987. MATHIAS Peter MA LITTD CBE FBA. ... WATSON Peter Gordon MA MB BCHIR. 1993. CORMACK George Carl MA MB CHB.

  48. Fellows' and Members' News 2000s

    https://www.joh.cam.ac.uk/sites/default/files/inline-files/Fellows%27_%26_Members%27_News_2000s%20without%20birthdates.pdf
    10 Oct 2022: CARNLEY, The Most Reverend Dr Peter F., was elected Primate. of all Australia, February 2000. ... W EBSTER, Peter AN., was admitted as a solicitor of the Supreme Court of England & Wales, 1 October 1999.
    By: SJC

  49. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2008-09/special/03/8.html
    28 Jan 2022: WATSON Stephen Roger MA PHD LIFE FELLOW. 1969. SPREADBURY Peter James MA PHD LIFE FELLOW. ... CARNLEY Peter PHD. RHYS JONES Griff MA FWCMA FRSA. KELLY Frank PHD FRS.

  50. Amy Wilkinson - 2022 cohort | Harding Distinguished Postgraduate…

    https://www.hardingscholars.fund.cam.ac.uk/amy-wilkinson-2022-cohort
    25 Nov 2022: However, my interest in epigenetics and human reproduction was really cemented by undertaking exciting research projects in the labs of Professor Graham Burton, Dr Erica Watson, and Dr Peter Rugg-Gunn.
    By: Gabrielle Uncles

  51. Statutes and Ordinances of the University of Cambridge, 2022 Edition

    https://www.reporter.admin.cam.ac.uk/univ/so/pdfs/2022/Cambridge-Statutes-and-Ordinances-2022.pdf
    21 Dec 2022: Statutes and Ordinances
    By: University of Cambridge

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.