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

  1. Fully-matching results

  2. https://www.cl.cam.ac.uk/~jps79/movies-original.tinydb.json

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

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

    https://www.reporter.admin.cam.ac.uk/reporter/2018-19/special/05/section3.shtml
    5 Mar 2019: 2005. Peter Robinson, CAI. Computer Vision and Pattern Recognition. 2009. John Gustav Daugman. ... 2006. John Ronald Lister, T. Fluid Mechanics (2006). 2006. Peter Alan Davidson, CHU.

  4. Hall of Fame news 1 News from the Department ...

    https://www.cl.cam.ac.uk/downloads/ring/ring-2020-01.pdf
    15 Jan 2020: M. Watson, Simon Moore, and Peter Sewell at the University of Cambridge Department of Computer Science and Technology, and by Peter G.

  5. Roll of the Regent House - Cambridge University Reporter Special No 2 …

    https://www.reporter.admin.cam.ac.uk/reporter/2022-23/special/02/section1.shtml
    5 Nov 2022: Atkinson, Catherine Louise. Atkinson, Peter John. Attaheri, Adam Joseph, DAR. Attridge, Danielle Louise. ... Bearcroft, Philip William Peter, CC. Beard, Simon James. Beard, Dame Winifred Mary, N.

  6. Proposed Roll of the Regent House - Cambridge University Reporter…

    https://www.reporter.admin.cam.ac.uk/reporter/2022-23/special/01/section2.shtml
    1 Oct 2022: Atkinson, Catherine Louise. Atkinson, Peter John. Attaheri, Adam Joseph, DAR. Attridge, Danielle Louise. ... Beales, Derek Edward Dawson, SID. Bearcroft, Philip William Peter, CC. Beard, Simon James.

  7. CheriABI: Enforcing valid pointer provenance and minimizing pointer…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-932.pdf
    27 Mar 2020: Brooks Davis, Robert N. M. Watson,Alexander Richardson, Peter G. Neumann,. Simon W. ... c 2019 Brooks Davis, Robert N. M. Watson,Alexander Richardson, Peter G.

  8. 20160423-cheri-compiler

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/pdfs/20160423-cheri-compiler.pdf
    18 Feb 2022: Watson, Simon W. Moore,. Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, Hadrien Barral, Ruslan Bukin, Nirav Dave, Brooks Davis, Lawrence Esswood, Alexandre Joannou, Chris Kitching, Ben Laurie, A.Theo Markettos, Alan

  9. 20160423-cheri-cheriabi

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/pdfs/20160423-cheri-cheriabi.pdf
    18 Feb 2022: Government. CheriABIA pure-capability OS process environment. Brooks DavisRobert N. M. Watson, Simon W. ... Moore, Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, Hadrien Barral, Ruslan Bukin, David Chisnall, Nirav Dave,.

  10. Rigorous engineering for hardware security: formal modelling and…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-940.pdf
    17 Sep 2019: Neumann, Ian Stark,Robert N. M. Watson, Peter Sewell. September 2019. 15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone 44 1223 763500. ... Norton,Simon W. Moore, Peter G. Neumann, Ian Stark,Robert N. M. Watson, Peter Sewell, SRI International.

  11. Proposed Roll of the Regent House - Cambridge University Reporter…

    https://www.reporter.admin.cam.ac.uk/reporter/2021-22/special/01/section2.shtml
    1 Oct 2021: Allen, Edward Joseph Frank, CHR. Allen, Graham Peter, W. Allen, Harriet Dorothy, G. ... Arthur, Andrew, TH. Arthur-Farraj, Peter James. Arvidsson Shukur, David Roland Miran, G.

  12. Roll of the Regent House - Cambridge University Reporter Special No 2 …

    https://www.reporter.admin.cam.ac.uk/reporter/2021-22/special/02/section1.shtml
    5 Nov 2021: Bagnoli, Anna, W. Bahn, Sabine, LC. Bailey, Lynette Karen. Bailey, Peter Stephen John. ... Beales, Derek Edward Dawson, SID. Bearcroft, Philip William Peter, CC. Beard, Simon James.

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

    https://www.reporter.admin.cam.ac.uk/reporter/2016-17/special/04/section3.shtml
    23 Dec 2016: 2012. Paul David Peter Pharoah, CAI. Cancer Prevention. 2014. Rebecca Clare Fitzgerald, T. ... 2002. James William Fawcett, K. Experimental Neuroscience. 2007. Peter Henry St George-Hyslop.

  14. Cambridge University Reporter Special No 3 (2021-22) - Fellows of the …

    https://www.reporter.admin.cam.ac.uk/reporter/2021-22/special/03/
    20 Dec 2021: Hasan Tawfique meng phd. Toner Jeremy Peter phd. 2014. Mei Jianjun msc phd. ... O’Donnell Peter John msc ma dphil. 2018. Herbert Steven ma meng phd.

  15. CheriABI: Enforcing Valid Pointer Provenance andMinimizing Pointer…

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201904-asplos-cheriabi.pdf
    18 Feb 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. ... M. Watson, Alexander Richardson, Peter G.Neumann, Simon W. Moore, John Baldwin

  16. Approved for public release; distribution is unlimited. This research …

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20221011-dsbd-all-hands-cheri.pdf
    30 Jan 2023: Government. CHERI Update. Robert N. M. Watson, Simon W. Moore, Peter Sewell, Peter G. ... NeumannHesham Almatary, Ricardo de Oliveira Almeida, Jonathan Anderson, Alasdair Armstrong, Rosie Baish, Peter Blandford-Baker,.

  17. Cambridge University Reporter Special No 3 (2020-21) - Fellows of the …

    https://www.reporter.admin.cam.ac.uk/reporter/2020-21/special/03/
    11 Dec 2020: Lewisohn Mark [1981]. 2020. Hedges Peter phd. Secord James Andrew ma phd fba. ... Gagne Christophe ma mphil phd. Hasan Tawfique meng phd. Toner Jeremy Peter phd.

  18. Notices - Cambridge University Reporter 6215

    https://www.reporter.admin.cam.ac.uk/reporter/2010-11/weekly/6215/section1.shtml
    23 Feb 2011: No 6215. Wednesday 23 February 2011. Vol cxli No 19. pp. 525–568. Search. this issue. 2010-11. all issues. for. Notices. Calendar. 5 March, Saturday. End of third quarter of Lent Term. 6 March, Sunday. Preacher before the University at 11.15 a.m.,

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

    https://www.reporter.admin.cam.ac.uk/reporter/2022-23/special/05/section2.shtml
    9 Jun 2023: Caroline Bassett, CC, Mr Masud Khokhar, Prof. Peter Mandler, CAI, 2024; Dr James Bellingham, JE, Prof. ... Richard Prager, Q, Prof. Dame Sarah Worthington, T, 2025; Secretary: Mr Peter Phillips, W.

  20. Cambridge University Reporter Special No 3 (2019-20) - Fellows of the …

    https://www.reporter.admin.cam.ac.uk/reporter/2019-20/special/03/
    12 Dec 2019: Navaratnam Visvanathan phd emeritus fellow. Rayner Peter John Wynn ma phd emeritus fellow. ... Gagne Christophe ma mphil phd. Hasan Tawfique meng phd. Toner Jeremy Peter phd.

  21. Reporter 11/7/01: Congregations of the Regent House on 28, 29, and 30 …

    https://www.reporter.admin.cam.ac.uk/reporter/2000-01/weekly/5852/37.html
    29 Nov 2011: Tucker, Matthew David. Walker, John Peter Milnes. Wan Hok Chee, Patrice Koye Fa. ... Day, Peter Henry Donald. De Souza, Andrew James. Dhaliwal, Gurvinder. Diver, James Mark.

  22. 20171109-mit-cheri-web

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20171109-mit-cheri-web.pdf
    18 Feb 2022: Moore, Peter G. NeumannJonathan Anderson, John Baldwin, Hadrien Barrel, Ruslan Bukin, David Chisnall, Nirav Dave,. ... Philip Paeps, Lucian Paul-Trifu, Alex Richardson, Michael Roe, Colin Rothwell, Hassen Saidi, Peter Sewell, Stacey Son, Domagoj Stolfa,

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

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

    https://www.reporter.admin.cam.ac.uk/reporter/2021-22/special/05/section2.shtml
    11 Jul 2022: Ian Michael Hutchings, JN, Dr Matthew Russell Jones, DAR, Dr Penelope Jayne Watson, EM, Prof. ... Committee] The Revd Dr Stephen William Peter Hampton, PET, 2024; [Postgraduate Tutors' Committee] Prof.

  25. Cambridge University Reporter Special No 2 (2018-19) - Fellows of the …

    https://www.reporter.admin.cam.ac.uk/reporter/2018-19/special/02/
    29 Oct 2018: Navaratnam Visvanathan phd emeritus fellow. Rayner Peter John Wynn ma phd emeritus fellow. ... 2015. Wadhams Peter scd. Hope Christopher William phd. Parker John Stewart ma dphil.

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

    https://www.reporter.admin.cam.ac.uk/reporter/2020-21/special/05/section2.shtml
    18 Aug 2021: Ian Michael Hutchings, JN, Dr Matthew Russell Jones, DAR, Dr Penelope Jayne Watson, EM, Prof. ... Committee] The Revd Dr Stephen William Peter Hampton, PET, 2024; [Graduate Tutors' Committee] Prof.

  27. Who’s who 2 Hall of Fame news 3 Computer ...

    https://www.cl.cam.ac.uk/downloads/ring/ring-2018-05.pdf
    2 May 2018: Funding SuccessesERC Advanced GrantOctober 1st2018 for five years, 2,473,844Professor Peter Sewell: ‘ELVER’. ... DARPA Microelectronics Technology Office (MTO)Approx $829K to Cambridge over 36 months.Dr Robert Watson, Professor Simon Moore and

  28. Capability Hardware Enhanced RISC Instructions: CHERI…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-877.pdf
    1 Dec 2015: Moore, Steven J. Murdoch,Peter G. Neumann, Jonathan Woodruff. September 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,

  29. 20160217-ethz-cheri-distribution

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20160217-ethz-cheri-release.pdf
    18 Feb 2022: Government. CHERIA Hybrid Capability-System Architecture. Robert N. M. Watson, Simon W. ... Moore, Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, Ruslan Bukin, David Chisnall, Nirav Dave, Brooks Davis,.

  30. Approved for public release; distribution is unlimited. This research …

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

  31. INDEX - Cambridge Statutes and Ordinances, 2023 edition

    https://www.reporter.admin.cam.ac.uk/univ/so/pdfs/2023/index.pdf
    17 Jan 2024: Degree 453. Committee of Management 623 Babbage Fund for Policy and Practice 781 Bacterial Evolution, Professor 712 Bailey, Edward, Study of Religion Fund 781 Baird, James, Fund 782 Baker, George Peter, ... Bronowski, Jacob, Fund 794 Broodbank Fund 794
    By: University of Cambridge

  32. 1 CHERI Concentrate:Practical Compressed Capabilities Jonathan…

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/2019tc-cheri-concentrate.pdf
    18 Feb 2022: M. Watson, Simon W. Moore. Abstract—We present CHERI Concentrate, a new fat-pointer compression scheme applied to CHERI, the most developedcapability-pointer system at present. ... Email is{firstname.lastname}@cl.cam.ac.uk. • Brooks Davis and Peter

  33. Part II: Members of University Bodies - Cambridge University Reporter …

    https://www.reporter.admin.cam.ac.uk/reporter/2017-18/special/06/section2.shtml
    24 Apr 2018: R, 2020; Mr Peter Readman, TH (Chair), 2021; the Director of Finance attends; Secretary: the Registrary, or deputy. ... Susan Kathleen Rankin, EM, 30 Sep 2019; [CSBS] Prof. Christine Jannette Watson, N, 30 Sep 2020; [CSCM] Prof.

  34. Unpublished workshop paper for RESoLVE’12 - March 3, 2012 ...

    https://www.cl.cam.ac.uk/~rja14/Papers/2012resolve-cheri.pdf
    20 Jul 2021: robert.watson@cl.cam.ac.uk. Peter G. NeumannSRI International. neumann@csl.sri.com. Jonathan WoodruffUniversity of Cambridge. jonathan.woodruff@cl.cam.ac.uk.

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

    https://www.cl.cam.ac.uk/~swm11/research/papers/2017asplos-cheri-jni-preprint.pdf
    13 May 2017: Moore† Peter G. Neumann‡. Ben LaurieO Robert N. M. Watson††University of Cambridge ‡SRI International ODeepMind Technologies Ltd.

  36. CHERI This work was sponsored in part by the ...

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20210507-dsbd-cheri-morello.pdf
    18 Feb 2022: Government. CHERI. Morello Consortium updateRobert N. M. Watson (University of Cambridge), Simon W. ... Moore (Cambridge), Peter Sewell. (Cambridge), Peter G. Neumann (SRI), Brooks Davis (SRI), Joakim Bech (Linaro), Luis Machado (Linaro), Mark Nicholson

  37. The Cerberus C semantics

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-981.pdf
    2 May 2023: I thank Francesco Zappa Nardelli for his mentoring during my Masters’ internship whichgave me a great first start at research in programming languages, and for introducing meto Peter and his team. ... Robert Watson,David Chisnall, and Paul McKenney). 22

  38. Annual Report 2006.indd

    https://www.arch.cam.ac.uk/files/miar-report-2006.pdf
    22 Aug 2019: Measuring the World and Beyond’ participants: Front row) John Justeson, Mark Kenoyer, Iain Morley, Anna Michailidou, Peter Biehl, Michael Jansen; 2nd row) LeRon Shults, Denise Schmandt-Besserat, Anthony Aveni, Jeremy Begbie; ... 27) were two of the

  39. Annual Report 2006.indd

    https://www.arch.cam.ac.uk/files/miar-report-2006.pdf
    22 Aug 2019: Measuring the World and Beyond’ participants: Front row) John Justeson, Mark Kenoyer, Iain Morley, Anna Michailidou, Peter Biehl, Michael Jansen; 2nd row) LeRon Shults, Denise Schmandt-Besserat, Anthony Aveni, Jeremy Begbie; ... 27) were two of the

  40. Part II: Members of University Bodies - Cambridge University Reporter …

    https://www.reporter.admin.cam.ac.uk/reporter/2016-17/special/06/section2.shtml
    10 Mar 2017: Ian Paterson, JE, Prof. Peter Robinson, CAI, Prof. Jacqueline Lilian Scott, Q, 2018; Prof. ... Geoffrey Christopher Ward, HO, 2019; [GB] Mr Peter Andrew Jestyn Phillips, W, 2017; Prof.

  41. Cambridge University Reporter Special No 3 (2022-23) - Fellows of the …

    https://www.reporter.admin.cam.ac.uk/reporter/2022-23/special/03/
    21 Dec 2022: Navaratnam Visvanathan phd emeritus fellow. Rayner Peter John Wynn ma phd emeritus fellow. ... Gagne Christophe ma mphil phd. Hasan Tawfique meng phd. Toner Jeremy Peter phd.

  42. 20151207-law2015-cheri-arch-release

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20151207-law2015-cheri-arch-release.pdf
    18 Feb 2022: Government. CHERIA Hybrid Capability-System Architecture. Robert N.M. Watson, Simon W. Moore, Peter G.

  43. The Sail instruction-set semantics specification language Kathryn E.…

    https://www.cl.cam.ac.uk/~pes20/sail/manual.pdf
    15 Mar 2017: The Sail instruction-set semantics specification language. Kathryn E. Gray, Peter Sewell, Christopher Pulte, Shaked Flur, Robert Norton-Wright. ... Sail is available on bitbucket (https://bitbucket.org/Peter_Sewell/sail/) under a BSD licence. TheARMv8

  44. Rigorous engineering for hardware security:Formal modelling and proof …

    https://www.cl.cam.ac.uk/~pes20/cheri-formal.pdf
    19 Feb 2020: Norton, Simon W. Moore, Peter G. Neumann, Ian Stark‡, Robert N. ... M. Watson,. and Peter SewellUniversity of Cambridge †ARM Limited ‡University of Edinburgh SRI International.

  45. Islaris: Verification of Machine Code Against Authoritative ISA…

    https://www.cl.cam.ac.uk/~pes20/2022-pldi-islaris.pdf
    9 Apr 2022: Peter SewellUniversity of Cambridge. UKPeter.Sewell@cl.cam.ac.uk. AbstractRecent years have seen great advances towards verifyinglarge-scale systems code. ... Keywords: assembly, verification, separation logic, proofautomation, Iris, Isla, Sail, Coq, Arm,

  46. The Trinity Clock

    https://clock.trin.cam.ac.uk/main.php?menu_option=comments
    0. winding by Alexander Watson, John Perry, Blazej Puchala, Dido Coley, Zach Foster, Jack Celliers. ... 0. visit by Katie Thompson, Andreas Metzler, Pat Batcheler, Peter Batcheler and Rupert Gatti.

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

    https://www.reporter.admin.cam.ac.uk/reporter/2015-16/special/05/section3.shtml
    15 Dec 2015: 2014. Dominic Keown, F. Cell and Cancer Biology. 2010. Christine Jannette Watson, N. ... Peter Robinson, CAI. Computer Vision and Pattern Recognition. 2009. John Gustav Daugman, K.

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

    https://www.reporter.admin.cam.ac.uk/reporter/2011-12/special/05/section2.shtml
    16 Dec 2011: Animal Embryology, Charles Darwin. Vacant. Applied Mathematics (1964). 2001. Peter Howard Haynes, Q. ... Peter Robinson, CAI. Computer Vision and Pattern Recognition. 2009. John Gustav Daugman, K.

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

    https://www.reporter.admin.cam.ac.uk/reporter/2012-13/special/05/section3.shtml
    19 Dec 2012: 2009. Gerard Ian Evan, K. Biochemistry, Herchel Smith. 2006. Peter Francis Leadlay, CL. ... 2000. Martin Richard Bennett. Cell and Cancer Biology. 2010. Christine Jannette Watson, N.

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

    https://www.reporter.admin.cam.ac.uk/reporter/2014-15/special/04/section1.shtml
    26 Nov 2014: Committee on the Membership of Committees. Mr Graham Peter Allen, W, 2014; Prof. ... Andrew John Ashworth, 30 Sep 2015; Prof. Manuel Peter Eisner, 30 Sep 2016; Prof.

  51. bankingpartners

    https://www.geog.cam.ac.uk/files/research/projects/chambersofcommerce/bankingpartners.pdf
    29 Nov 2012: customs. John Bowman provost C Archibald Ingram mer C Peter Murdoch C John Robertson (cashier) banker C. ... C; Peter La Touche; Samuel Dick C; Jeremiah D’Olier C; Alexander Armstrong C; George Palmer C; John Allen C.

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.