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
301 - 350 of 557 search results for watson

  1. Fully-matching results

  2. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2009-10/special/05/4a.html
    28 Jan 2022: Wang. F. Wardle. R. L. Ware, PET. C. J. Watson, N.

  3. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2005-06/special/04/21.html
    28 Jan 2022: P. J. Warner, CTH. S. G. Warren, CHU. D. J. Watson, R.

  4. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2005-06/special/02/27.html
    28 Jan 2022: P. J. Warner, CTH. S. G. Warren, CHU. D. J. Watson, R.

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

  6. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2008-09/special/05/23.html
    28 Jan 2022: M. J. Waring, JE. P. J. Watson, EM. †C. R. Webb, N.

  7. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2007-08/special/02/29.html
    28 Jan 2022: J. Waring, JE. P. J. Watson, EM. †C. R. Webb, N.

  8. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2007-08/special/05/24.html
    28 Jan 2022: M. J. Waring, JE. P. J. Watson, EM. †C. R. Webb, N.

  9. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2005-06/special/02/13.html
    28 Jan 2022: N. B. Waterfall. C. J. E. Watson, HH. C. Watts, CAI.

  10. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2006-07/weekly/6048/2.html
    28 Jan 2022: Barrington-Light, PEM, Senior Assistant Registrary; Mr D. J. Watson, R, Departmental Secretary in the Department of Chemistry.

  11. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2005-06/weekly/6014/5.html
    28 Jan 2022: Dr Christine Jannette Watson, N, appointed Reader in Cell Signalling in the Department of Pathology.

  12. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2008-09/special/02/13.html
    28 Jan 2022: E. Watson, HH. C. Watts, CAI. W. J. S. Webb. M.

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

  14. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2007-08/special/02/13.html
    28 Jan 2022: Prof. A. J.Warren, CAI. †R. M. L.Warren, G. C. J. E.Watson, HH.

  15. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2009-10/special/02/13.html
    28 Jan 2022: C. J. E. Watson, HH. C. Watts, CAI. W. J. S.

  16. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2009-10/special/05/14.html
    28 Jan 2022: S. D. Dewar-Watson, ED. †J. A. S. Dusinberre, G. S. Eames.

  17. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2006-07/special/02/12.html
    28 Jan 2022: N. B. Waterfall. C. J. E. Watson, HH. C. Watts, CAI.

  18. Cornucopia: Temporal Safety for CHERI HeapsNathaniel Wesley Filardo,∗ …

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/2020oakland-cornucopia.pdf
    18 Feb 2022: Cornucopia: Temporal Safety for CHERI HeapsNathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Sam Ainsworth, Lucian Paul-Trifu,. Brooks Davis,† Hongyan Xia, Edward Tomasz Napierala, Alexander Richardson, John Baldwin,‡David Chisnall,

  19. Clean Application Compartmentalization with SOAAP Khilan…

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/2015ccs-soaap.pdf
    18 Feb 2022: Robert N.M. WatsonUniversity of Cambridge. Cambridge, UKrobert.watson@cl.cam.ac.uk. Jonathan AndersonMemorial University. St.

  20. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2006-07/weekly/6071/8.html
    28 Jan 2022: The appointee's prime responsibility will be to contribute lectures and supervisions on a third-year undergraduate course on 'Africa since 1800', with Dr Ruth Watson.

  21. 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. ... CHERIcapabilitiesgrantaccesstoboundedregionsofvirtualaddressspace• Protectedbytags.

  22. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2005-06/weekly/6021/1.html
    28 Jan 2022: The Council are very grateful to their members, and to their chairmen, Lord Watson of Richmond, Dr Bill Janeway, and Sir David Li for their unstinting efforts in support of the

  23. ACS/Part III L41: Advanced Operating SystemsPart II Advanced…

    https://www.cl.cam.ac.uk/teaching/2122/AOS/advopsys-syllabus.pdf
    18 Mar 2022: Prof. Robert N. M. Watson. 2021-2022. Instructors: Prof. Robert N. M. ... Watson. Prerequisites: Undergraduate operating-systems course; please see below for further details.

  24. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2009-10/special/05/17.html
    28 Jan 2022: Walters, T. C. D. Warner, R. †R. Watson, HO. Prof. R.

  25. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2008-09/special/05/17.html
    28 Jan 2022: R. Watson, HO. Prof. R. R. Weber, Q. Prof. N. O.

  26. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2006-07/special/05/17.html
    28 Jan 2022: Walters, T. C. D. Warner, R. †R. Watson, HO. Prof. R.

  27. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2006-07/special/08/1.html
    28 Jan 2022: Mr Philip Charles Watson presented a collection of 78 medals by A. ... Watson, who was the daughter of A. G. Wyon. Paul and Benthe Withers gave a silver cut halfpenny, a unique coin of the Cambridge mint from the reign of Henry I,

  28. Memory Segmentation to SupportSecure Applications Student: Jonathan…

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/2013essos-cheri.pdf
    18 Feb 2022: Tech. rep., ARM (03 2011)[10] Gudka, K., Watson, R., Hand, S., Laurie, B., Madhavapeddy, A.: Exploring Compartmentalisation Hypothe-. ... 20] Watson, R.N.M., Anderson, J., Laurie, B., Kennaway, K.: Capsicum: Practical capabilities for Unix.

  29. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2004-05/weekly/6007/25.html
    28 Jan 2022: One in the Department of Pathology for Dr Christine Jannette Watson of Newnham College.

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

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-975.pdf
    7 Nov 2022: Acknowledgements. Thanks to my supervisor Robert Watson for his guidance, understanding, and support.To my colleague Wes Filardo for his kindness and erudition.

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

  32. How FreeBSD Boots: a soft-core MIPS perspective Brooks Davis, ...

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201403-asiabsdcon2014-freebsd-smp-boot.pdf
    18 Feb 2022: M. Watson. AbstractWe have implemented an FPGA soft-core, multithreaded,. 64-bit MIPS R4000-style CPU called BERI to supportresearch on the hardware/software interface. ... 2012. [6] R. N. M. Watson, D. Chisnall, B. Davis, W. Koszek, S.

  33. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2009-10/special/05/7.html
    28 Jan 2022: C. J. E. Watson, HH. C. Watts, CAI. W. J. S.

  34. 50th celebration programme

    https://surgery.medschl.cam.ac.uk/files/2018/11/50th-celebration-programme.pdf
    25 Jan 2022: Monday 16th July 2018: Looking back 12:30 Registration and Lunch. 13:20 Welcome Chris Watson. ... 09:40 The liver donor: then and now Chris Watson. 10:00 Liver Preservation – emerging solutions Peter Friend.

  35. CheriRTOS: A Capability Model for EmbeddedDevices Hongyan Xia∗,…

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201810-iccd2018-cheri-rtos.pdf
    18 Feb 2022: 17, no. 7, Jul.1974. [19] J. Woodruff, R. N. M. Watson, D. ... Rep.UCAM-CL-TR-868, Apr. 2015. [24] R. N. Watson, P. G. Neumann, J.

  36. ACS/Part III L41: Advanced Operating SystemsPart II Advanced…

    https://www.cl.cam.ac.uk/teaching/2122/AOS/advopsys-schedule.pdf
    18 Mar 2022: Prof. Robert N. M. Watson. 2021-2022. This is the Advanced Operating Systems schedule, excluding lab deadlines for which only the official scheduleprovided by the undergraduate or graduate education offices should

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

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/202005oakland-cheri-formal.pdf
    18 Feb 2022: M. Watson,. and Peter SewellUniversity of Cambridge †ARM Limited ‡University of Edinburgh SRI International.

  38. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2008-09/weekly/6147/22.html
    28 Jan 2022: Gabriel, London (External); Professor R. Watson, Durham (External). Examination in Innovation, Strategy, and Organization for the degree of Master of Philosophy: Professor N.

  39. When is a symmetric pin-jointed frameworkisostatic? R.…

    www3.eng.cam.ac.uk/~sdg/preprint/isostatic.pdf
    13 Apr 2022: For more details on how ‘flatness’ causedby symmetry gives rise to additional necessary conditions for 3-dimensionalframeworks to be isostatic, we refer the reader to Schulze, Watson, andWhiteley (2008). ... Schulze, B., Watson, A., and Whiteley, W.,

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

  41. Seed Libraries promoting gardening and wellbeing at Churchill and…

    https://www.environment.admin.cam.ac.uk/news/seed-libraries-promoting-gardening-and-wellbeing-churchill-and-jesus-colleges
    24 Nov 2022: Rhona Watson says “The project has created a buzz in College and it is nice to produce something that everyone can get involved with. ... Written by: Rhona Watson, Jesus College, Annie Gleeson and Nick Koenig, Churchill College.
    By: Susannah Cook

  42. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2006-07/weekly/6080/9.html
    28 Jan 2022: Kings, queens, and crowns: staging Shakespeare's Histories, by Dr Sarah Dewar-Watson.

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

  44. Balancing Disruption and Deployability in theCHERI Instruction-Set…

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/2017mit-cybersecurity-cheri-web.pdf
    18 Feb 2022: M. Watson. †, Peter G. Neumann. , and Simon W. Moore. †.

  45. CN: Verifying Systems C Code with Separation-Logic Refinement Types

    https://www.cl.cam.ac.uk/~nk480/cn.pdf
    15 Nov 2022: 1. CN: Verifying Systems C Code with Separation-LogicRefinement TypesCHRISTOPHER PULTE, University of Cambridge, UKDHRUV C. MAKWANA, University of Cambridge, UKTHOMAS SEWELL, University of Cambridge, UKKAYVAN MEMARIAN, University of Cambridge,

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

  47. Pointer Provenance in a Capability Architecture

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/2018tapp-tracing-cameraready.pdf
    18 Feb 2022: Watson.2018. Pointer Provenance in a Capability Architecture. In Proceed-ings of TaPP 2018. ... IEEE Micro 36, 5 (Sept 2016),38–49. [12] Robert N. M. Watson et al.

  48. CN: Verifying Systems C Code with Separation-Logic Refinement Types

    https://www.cl.cam.ac.uk/~pes20/cn-draft.pdf
    15 Nov 2022: 1. CN: Verifying Systems C Code with Separation-LogicRefinement TypesCHRISTOPHER PULTE, University of Cambridge, UKDHRUV C. MAKWANA, University of Cambridge, UKTHOMAS SEWELL, University of Cambridge, UKKAYVAN MEMARIAN, University of Cambridge,

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

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/2020cheri-dma.pdf
    18 Feb 2022: Neumann,Simon W. Moore, and Robert N. M. Watson. 2020. Position Paper: DefendingDirect Memory Access with CHERI Capabilities. ... Moore, and Robert N. M. Watson. addresses. Therefore, we need a mechanism to constrain accessesfrom devices.

  50. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2007-08/weekly/6116/12.html
    28 Jan 2022: Monday, 4 August. Shakespeare's dramatic theory, by Dr Sarah Dewar-Watson. Tuesday, 5 August.

  51. Advanced Operating System:Hardware Performance Counters (HWPMC) Prof. …

    https://www.cl.cam.ac.uk/teaching/2122/AOS/advopsys-hwpmc.pdf
    18 Mar 2022: Advanced Operating System:Hardware Performance Counters (HWPMC). Prof. Robert N. M. Watson.

Refine your results

Format

clear all

Date

Related searches for watson

By type

By topic

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.