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

  1. Fully-matching results

  2. The DNA Age | Darwin

    https://darwin200.christs.cam.ac.uk/dna-age
    Within two decades of Watson and Crick’s discovery, methods had been established to sequence long stretches of DNA. ... Evolution: The History of an Idea. by Peter Bowler, University of California Press: 1983.

  3. CHERI Rigorous Engineering

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

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

  5. List

    https://venn.lib.cam.ac.uk/Documents/acad/2016/lists/UL.html
    12 Oct 2020: 1976-89  Goddard, Peter (Reader in Mathematical Physics, 1989). 1976-92  Skilling, John. ... Astronomy, Lectureship in. 1997-99  Eggleton, Peter Philip (Reader in Stellar Evolution, 1999).

  6. CHAPTER XII : TRUSTS - FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS,…

    https://www.reporter.admin.cam.ac.uk/univ/so/2016/chapter12-section2.html
    26 Sep 2016: Statutes and Ordinances of the University of Cambridge. Preceding: Chapter XI. Following:CHAPTER XII. pp. 744–1001. TRUSTS. Previous section:Section 2. FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS, ETC. GENERAL REGULATIONS FOR AWARDS. 1. Competition

  7. Most laptops vulnerable to attack via peripheral devices, say…

    https://www.cam.ac.uk/research/news/most-laptops-vulnerable-to-attack-via-peripheral-devices-say-researchers
    Thumbnail for Most laptops vulnerable to attack via peripheral devices, say researchers | University of Cambridge 26 Feb 2019: Reference:. A. Theodore Markettos , Colin Rothwell, Brett F. Gutstein, Allison Pearce, Peter G. ... Neumann, Simon W. Moore, Robert N. M. Watson. ‘Thunderclap: Exploring Vulnerabilities in Operating System IOMMU Protection via DMA from Untrustworthy
    By: @cambridge_uni

  8. CHAPTER XII : TRUST EMOLUMENTS - FUNDS, STUDENTSHIPS, PRIZES,…

    https://www.reporter.admin.cam.ac.uk/univ/so/2009/chapter12-section2.html
    29 Nov 2011: Statutes and Ordinances of the University of Cambridge. Preceding: Chapter XI. Following:CHAPTER XII. TRUST EMOLUMENTS. Previous section:Section 2. FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS, ETC. GENERAL REGULATIONS FOR AWARDS. Restriction of

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

    https://www.cl.cam.ac.uk/~pes20/recent_abstracts.html
    23 May 2024: Richard Grisenthwaite, Graeme Barnes, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Jonathan Woodruff. ... Robert N. M. Watson, Peter Sewell, and William Martin. The Next Wave (The National Security Agency's review of emerging technologies), 4(1

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

  11. The Cambridge Group for the History of Population and Social…

    https://www.campop.geog.cam.ac.uk/research/occupations/datasets/usage/
    148. Peter Leadbetter is using the data to create maps of the borders of the old counties, hundreds and wapentakes for a study of the 17th century, pre-Civil War Trained ... 1600-1900. 106. Dr Katherine D. Watson (Oxford Brookes University) is using the

  12. Members of University Bodies - Cambridge University Reporter Special…

    https://www.reporter.admin.cam.ac.uk/reporter/2023-24/special/05/section2.shtml
    16 Jul 2024: Peter Mandler, CAI, 2024; Dr James Bellingham, JE, Prof. Emily Gowers, JN, Ms Catherine Reid, Lord Smith of Finsbury, PEM, 2026; Dr Sue Jones, 2027; [elected by University Officers in the ... Emily Gowers, JN, Prof. Joan Lasenby, T, Mr Richard

  13. recent.bib

    https://www.cl.cam.ac.uk/~pes20/recent_bib.html
    23 May 2024: M. Watson and Peter Sewell and William Martin}, title = {Improving Security with Hardware Support: {CHERI} and {Arm's Morello}}, journal = {The Next Wave (The National Security Agency's review of emerging ... M. Watson and Peter Sewell}, title = {Formal

  14. Cerberus

    https://www.cl.cam.ac.uk/~pes20/cerberus/
    1 Oct 2023: Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award. [ ... M. Watson, Peter Sewell. Identical to the above POPL 2019 paper text.

  15. Department of Computer Science and Technology – CTSRD: Posters and…

    https://www.cl.cam.ac.uk/research/security/ctsrd/posters-slides.html
    10 Jul 2023: Park Ridge, NJ, May 2013. Peter G. Neumann, Robert N.M. Watson. ... San Diego, CA, November 2012. Peter G. Neumann, Robert N.M. Watson.

  16. Architecting the future

    https://www.cam.ac.uk/stories/arm
    Thumbnail for Architecting the future 8 Dec 2020: With funding from DARPA, and in close collaboration with Peter Neumann at SRI International (a non-profit research lab based in California), Watson and Moore made good progress with their ambitious ... It's important to remember Morello has now become a
    By: Sarah Fell

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

  18. 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).

  19. https://www.psychiatry.cam.ac.uk/ciddrg/wp-json/wp/v2/pages/6507

    https://www.psychiatry.cam.ac.uk/ciddrg/wp-json/wp/v2/pages/6507
    n. Senior members of the now established VNS research collaboration include Isabel Clare, Tony Holland,u00a0Howard Ring, Peter Watson and Shahid Zaman, University of Cambridge, and Fergus Gracey, Norwich Medical School,

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

  21. Award for documentary informed by student’s research | St…

    https://www.caths.cam.ac.uk/documentary-award
    Thumbnail for Award for documentary informed by student’s research | St Catharine's College, Cambridge Malik Al Nasir, PhD Candidate (Credit: Peter Chin). Malik, who changed his name from Mark Watson when he became a Muslim in 1992, has found the project especially meaningful for personal ... And sure enough, we were!”. Andrew Watson, seated centre,

  22. CHAPTER XII : TRUSTS - FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS,…

    https://www.reporter.admin.cam.ac.uk/univ/so/2019/chapter12-section2.html
    24 Oct 2019: Statutes and Ordinances of the University of Cambridge. Preceding: Chapter XI. Following:CHAPTER XII. pp. 780–1048. TRUSTS. Previous section:Section 2. FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS, ETC.pp. 780–1048. FUNDS, STUDENTSHIPS, PRIZES,

  23. Computer Laboratory – Capsicum: practical capabilities for UNIX:…

    https://www.cl.cam.ac.uk/research/security/capsicum/documentation.html
    21 Aug 2015: Khilan Gudka, Robert N.M. Watson, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Ilias Marinos, Peter G. ... M. Watson, Steven J. Murdoch, Khilan Gudka, Jonathan Anderson, Peter G.

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

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

  27. CHAPTER XII : TRUSTS - FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS,…

    https://www.reporter.admin.cam.ac.uk/univ/so/2015/chapter12-section2.html
    6 Oct 2015: Statutes and Ordinances of the University of Cambridge. Preceding: Chapter XI. Following:CHAPTER XII. pp. 732–984. TRUSTS. Previous section:Section 2. FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS, ETC. GENERAL REGULATIONS FOR AWARDS. 1. Competition

  28. Department of Computer Science and Technology – Course pages 2017–18: …

    https://www.cl.cam.ac.uk/teaching/1718/lecturers.html
    26 Jun 2023: Course pages 2017–18. Contents. Index of courses by lecturer. Please check the official timetables for timetable details. Easter,Lent,Michaelmas,Michaelmas,Lent,Easter,Michaelmas,Lent,Pre-arrival,Michaelmas,Michaelmas,Lent,Easter,Michaelmas,

  29. CHAPTER XII : TRUST EMOLUMENTS - FUNDS, STUDENTSHIPS, PRIZES,…

    https://www.reporter.admin.cam.ac.uk/univ/so/2010/chapter12-section2.html
    29 Nov 2011: Statutes and Ordinances of the University of Cambridge. Preceding: Chapter XI. Following:CHAPTER XII. TRUST EMOLUMENTS. Previous section:Section 2. FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS, ETC. GENERAL REGULATIONS FOR AWARDS. Restriction of

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

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

  31. List

    https://venn.lib.cam.ac.uk/Documents/acad/2016/lists/biogW.html
    12 Oct 2020: Watson, Peter Gordon. ... 1976-95 Clinical Medicine, Associate Lectureship in. Watson, Peter John.

  32. David Chisnall

    https://www.cl.cam.ac.uk/www.cl.cam.ac.uk/~dc552/
    15 Feb 2024: Moore, Peter G. Neumann and Robert N. M. Watson. ... and Neumann, Peter G. and Watson, Robert N. M.}, doi = {10.1145/3620665.3640416}, booktitle = {Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages

  33. Department of Computer Science and Technology: Security-Oriented…

    https://www.cl.cam.ac.uk/research/security/ctsrd/soaap/
    10 Jul 2023: Conference and journal papers. Khilan Gudka, Robert N.M. Watson, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Ilias Marinos, Peter G. ... Robert N. M. Watson, Steven J. Murdoch, Khilan Gudka, Jonathan Anderson, Peter G.

  34. CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities …

    https://www.cl.cam.ac.uk/~tmj32/papers/docs/xia19-micro.pdf
    15 Oct 2019: 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.

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

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-table.html
    16 Jul 2024: Peter R. Calvert. 2015-07. PhD. 150 p. ... Peter J.C. Brown, Christopher T. Faigle. 1997-02. 16 p.

  36. Reporter 17/10/01: Congregation of the Regent House on 13 October 2001

    https://www.reporter.admin.cam.ac.uk/reporter/2001-02/weekly/5858/26.html
    29 Nov 2011: Achebe, Ikechukwu. De Rivaz, Peter Francis Chevalley. Leifer, James Judi. Master of Arts. ... Master of Arts. O'Lynn, Aidan Anthony. Peddi, Himaja. Watson, Robert Peter.

  37. Notices by the General Board - Cambridge University Reporter 6485

    https://www.reporter.admin.cam.ac.uk/reporter/2017-18/weekly/6485/section4.shtml
    22 Nov 2017: Professor Garth Lowther Fowden. Professor Nicholas John Marston. Professor Peter Leslie de Bolla. ... Professor Peter Brian Jones (Chair). Professor Christine Jannette Watson (GB Member).

  38. New cell death mechanism has implications for breast cancer…

    https://www.cam.ac.uk/research/news/new-cell-death-mechanism-has-implications-for-breast-cancer-treatments
    Thumbnail for New cell death mechanism has implications for breast cancer treatments | University of Cambridge 25 Feb 2011: Peter Kreuzaler. Billions of damaged or superfluous cells die in our bodies every day. ... Share. Published. 25 Feb 2011. Image. alveolicells. Credit: Peter Kreuzaler, Cambridge University Department of Pathology.
    By: @cambridge_uni

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

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-988.html
    28 Oct 2023: David and Campbell, Brian and Stark, Ian and Watson, Robert N. ... M. and Sewell, Peter}, title = {{CHERI C semantics as an extension of the ISO C17 standard}}, year = 2023, month = oct, url =

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

  41. CHAPTER XII : TRUSTS - FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS,…

    https://www.reporter.admin.cam.ac.uk/univ/so/2014/chapter12-section2.html
    17 Oct 2014: Statutes and Ordinances of the University of Cambridge. Preceding: Chapter XI. Following:CHAPTER XII. pp. 762–1013. TRUSTS. Previous section:Section 2. FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS, ETC. GENERAL REGULATIONS FOR AWARDS. 1. Competition

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

  43. CHAPTER XII : TRUST EMOLUMENTS - FUNDS, STUDENTSHIPS, PRIZES,…

    https://www.reporter.admin.cam.ac.uk/univ/so/2011/chapter12-section2.html
    29 Nov 2011: Statutes and Ordinances of the University of Cambridge. Preceding: Chapter XI. Following:CHAPTER XII. TRUST EMOLUMENTS. Previous section:Section 2. FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS, ETC. GENERAL REGULATIONS FOR AWARDS. Restriction of

  44. CHAPTER XII : TRUST EMOLUMENTS - FUNDS, STUDENTSHIPS, PRIZES,…

    https://www.reporter.admin.cam.ac.uk/univ/so/2008/chapter12-section2.html
    29 Nov 2011: Statutes and Ordinances of the University of Cambridge. Preceding: Chapter XI. Following:CHAPTER XII. TRUST EMOLUMENTS. Previous section:Section 2. FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS, ETC. GENERAL REGULATIONS FOR AWARDS. Restriction of

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

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/capcelerate/
    21 Dec 2020: Further reading:. A. Theodore Markettos, John Baldwin, Ruslan Bukin, Peter G. ... 2010-2019 Robert N. M. Watson. Information provided by Robert Watson.

  46. 9th Annual Cape Town Convention Academic Conference held in Rome…

    https://www.law.cam.ac.uk/press/news/2020/10/9th-annual-cape-town-convention-academic-conference-held-rome-zoom
    18 Jul 2024: This was followed by a presentation by Peter Watson (Allen & Overy) on the proposed judicial guide to the Cape Town Convention, and a panel discussing the challenges involved in the establishment

  47. 50th Anniversary of Liver Transplantation in Cambridge - Department…

    https://surgery.medschl.cam.ac.uk/blog/50th-anniversary-of-liver-transplantation-in-cambridge/
    Liver tolerance and the start of the programme – Chris Watson. ... Liver preservation – emerging solutions – Peter Friend. Selection Criteria and management of Acute Liver failure – Will Bernal.

  48. Exploring C Semantics and Pointer Provenance: Supplementary Material

    https://www.cl.cam.ac.uk/~pes20/cerberus/supplementary-material-popl2019/
    8 Nov 2018: M. Watson, Peter Sewell. In Proc. 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019).

  49. Computer Laboratory – Course pages 2014–15: Index of courses by…

    https://www.cl.cam.ac.uk/teaching/1415/lecturers.html
    11 Feb 2015: Course pages 2014–15. Contents. Index of courses by lecturer. Please check the official timetables for timetable details. Easter,Michaelmas,Michaelmas,Lent,Easter,Michaelmas, Lent,Lent,Lent,Michaelmas,Michaelmas, Lent,Michaelmas,

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

  51. REMS: Rigorous Engineering for Mainstream Systems EPSRC Programme…

    https://www.cl.cam.ac.uk/~pes20/rems/report-2019-web.pdf
    3 Jun 2020: Andrew Pitts, Simon Moore, Robert Watson (Cambridge);Philippa Gardner (Imperial); Ian Stark (Edinburgh). ... Peter Sewell, Francesco ZappaNardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, and Rok Strniša.

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.