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
51 - 98 of 98 search results for `David Watson`

  1. Fully-matching results

  2. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2007-08/special/02/30.html
    28 Jan 2022: John, TH. Aldred, Jonathan Simon, EM. Aldridge, David Christopher, CTH. Alexander, Denis, ED. ... Andrews, David Colin. Andrews, Neil Howard, CL. Andrews, Paul Robert. Andrews, Rupert Simon.

  3. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2007-08/special/05/25.html
    28 Jan 2022: Andrew, Piers. Andrewes, Richard Michael, T. Andrews, David Colin. Andrews, Neil Howard, CL. ... Argyle, Benjamin David. Argyle, Robert William. Armenteros, Carolina Renata, W. Armisen Garrido, Javier.

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

  5. 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: M. Watson, and Timothy M. Jones. 2019. CHERIvoke:Characterising Pointer Revocation using CHERI Capabilities for TemporalMemory Safety.

  6. 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. ... Neumann, Jonathan Woodruff,. Jonathan Anderson, Ruslan Bukin, David Chisnall, Nirav Dave, Brooks Davis, Lawrence Esswood, Khilan Gudka, Alexandre Joannou

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

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

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

  10. 20150305-aplos-cheri-c.key

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20150305-aplos2015-cheri-cmachine-slides.pdf
    18 Feb 2022: memory-safe C abstract machine David Chisnall†, Colin Rothwell†, Brooks Davis‡,. Robert N.M. ... Watson†, Jonathan Woodruff†, Munraj Vadera†, Simon W. Moore†, Peter G. Neumann‡, and Michael Roe†.

  11. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2006-07/special/02/30.html
    28 Jan 2022: Ahringer, Julie. Aidt, Toke Skovsgaard, JE. Aigbirhio, Franklin Imo. Ainscough, David Anthony, SE. ... Andrews, David Colin. Andrews, Neil Howard, CL. Andrews, Paul Robert. Andrews, Rupert Simon.

  12. 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. ... The second control-flow instruction type,. proposed by David Chisnall, branches based on the validity of a descriptor.

  13. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2006-07/special/05/25.html
    28 Jan 2022: Abulafia, Anna Brechta Sapir, LC. Abulafia, David Samuel Harvard, CAI. Acerini, Carlo Lorenzo. ... John, TH. Aldred, Jonathan Simon, EM. Aldridge, David Christopher, CTH. Alexander, Denis, ED.

  14. Concurrent Systems

    https://www.cl.cam.ac.uk/teaching/2223/ConcDisSys/djg-materials/ccds-01-08-2223-e.pdf
    2 Nov 2022: Michaelmas Term, 2022/23. L1-8: Dr David J Greaves. L9-16: Dr Tim Harris. ... and producer-consumer relationships. Dr David J Greaves(Thanks to Dr Robert N.

  15. 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: CHERI JNI: Sinking the Java security model into the C. David Chisnall† Brooks Davis‡ Khilan Gudka† David Brazdil? ... Moore† Peter G. Neumann‡. Ben LaurieO Robert N. M. Watson††University of Cambridge ‡SRI International ODeepMind

  16. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2008-09/special/02/30.html
    28 Jan 2022: Adams, William Mark, DOW. Adamson, David Martin, NH. Adamson, John Sonley Anthony, PET. ... Andrews, David Colin. Andrews, Neil Howard, CL. Andrews, Paul Robert. Andrews, Rupert Simon.

  17. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2008-09/special/05/24.html
    28 Jan 2022: Abulafia, David Samuel Harvard, CAI. Acerini, Carlo Lorenzo. Acland, Marigold. Acton, Elizabeth, NH. ... Andrews, David Colin. Andrews, Neil Howard, CL. Andrews, Paul Robert. Andrews, Rupert Simon.

  18. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2009-10/special/05/24.html
    28 Jan 2022: Abulafia, David Samuel Harvard, CAI. Acerini, Carlo Lorenzo. Acland, Marigold. Acton, Elizabeth, NH. ... Adams, William Mark, DOW. Adamson, David Martin, NH. Adamson, John Sonley Anthony, PET.

  19. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2009-10/special/02/30.html
    28 Jan 2022: Abulafia, David. Samuel Harvard, CAI. Acerini, Carlo Lorenzo. Acland, Marigold. Acton, Elizabeth, NH. ... Adams, William Mark, DOW. Adamson, David Martin, NH. Adamson, John Sonley Anthony, PET.

  20. 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: 1971. Jones David Rayner Hunkin ma phd ceng. 1972. Ingham Geoffrey Keith phd. ... Sedley David Neil ma phd fba. 1978. Bowkett Kelvin Malcolm ma phd [1966].

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

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

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

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

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/2020oakland-cornucopia.pdf
    18 Feb 2022: Brooks Davis,† Hongyan Xia, Edward Tomasz Napierala, Alexander Richardson, John Baldwin,‡David Chisnall, Jessica Clarke, Khilan Gudka, Alexandre Joannou, A.

  25. 20160423-cheri-microkernel-workshop

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/pdfs/20160423-cheri-microkernel-workshop.pdf
    18 Feb 2022: CHERI models Simon Moore. CHERI C compiler David Chisnall. CheriBSD OS model Robert Watson. ... CheriABI process model Brooks Davis. CheriBSD compartmentalization model Robert Watson. CheriOS microkernel Hadrien Barral.

  26. 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,. ... 2016; ASPLOS 2017, ICCD 2017, …. • Watson, et al. Capability Hardware Enhanced RISC Instructions: CHERI Instruction-Set

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

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

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

  30. 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: Attridge, David James. Attrill, Helen Louise. Au, Tammy Chor Yan. Aubareda Rodriguez, Ana. ... Barrett, David. Barrett, Jessica Kate. Barrett, Michael Ian, HH. Barrett, Samuel James, PEM.

  31. 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: Amann, David Huw. Amano Patino, Noriko Georgina, CTH. Amaratunga, Gehan Anil Joseph, CHU. ... Attridge, David James. Attrill, Helen Louise. Au, Tammy Chor Yan. Aubareda Rodriguez, Ana.

  32. JESUS COLLEGE CAMBRIDGE MUSIC AT CHAPEL SERVICES Lent Term ...

    https://www.jesus.cam.ac.uk/sites/default/files/downloads/lent_23_music_list_0.pdf
    12 Dec 2022: Responses Reading Psalm 22 Camidge Canticles in E Watson Anthem Vexilla Regis David Bednall (first performance) Hymn 208 St Catherine’s Court Final Responses Reading. ... Voluntary Hyfrydol – Fanfare Postlude David Bednall. SATURDAY 4 FEBRUARY
    By: Mark Williams

  33. 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. ... Neumann, Jonathan Woodruff, Jonathan Anderson, Ruslan Bukin, David Chisnall, Nirav Dave, Brooks Davis,.

  34. 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: Jeremy John Baumberg, Prof. David Ron, CHU, 2022; Prof. Sarah Jane Bray, Prof. ... Ianthi Tsimpli, F, 2022; Prof. Ulf Buentgen, Dr David Oliver Erdos, TH, Prof.

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

  36. Cambridge University Reporter Special

    https://www.reporter.admin.cam.ac.uk/reporter/2005-06/weekly/6046/10b.html
    28 Jan 2022: REVIEW OF THE ESTATE MANAGEMENT AND BUILDING SERVICE OF THE UNIVERSITY OFFICES REPORT (JUNE 2006). I. Introduction. Background of the review and terms of reference. 1. As part of the rolling programme of reviews of the Divisions of the Unified

  37. Efficient Tagged MemoryAlexandre Joannou∗, Jonathan Woodruff∗, Robert …

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201711-iccd2017-efficient-tags.pdf
    18 Feb 2022: Robert N. M. Watson, David Chisnall, Michael Roe, Brooks Davis†, Edward Napierala,John Baldwin†, Khilan Gudka, Peter G. ... 29, no. 11,1994, pp. 319–327. [6] J. Woodruff, R. N. Watson, D.

  38. The CHERI capability model: Revisiting RISC in an age ...

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201406-isca2014-cheri.pdf
    18 Feb 2022: Jonathan Woodruff† Robert N. M. Watson† David Chisnall† Simon W. Moore† Jonathan Anderson†.

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

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

  41. 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. ... Johns, NL, Canadajonathan.anderson@mun.ca. David ChisnallUniversity of Cambridge. Cambridge, UKdavid.chisnall@cl.cam.ac.uk.

  42. IEEE Micro Special Issue on Security Submission title Fast ...

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20160728micro-journal-cheri-final.pdf
    18 Feb 2022: Neumann‡, Jonathan Anderson, David Chisnall†, Nirav Dave,Brooks Davis‡, Khilan Gudka†, Ben Laurie, A. ... 469–480. [15] Watson, R. N. M., Anderson, J., Laurie, B.,and Kennaway, K.

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

  44. TESLA: Temporally Enhanced System Logic Assertions Jonathan…

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201404-eurosys2014-tesla.pdf
    18 Feb 2022: TESLA: Temporally Enhanced System Logic Assertions. Jonathan AndersonRobert N. M. Watson David Chisnall.

  45. Multicore Semantics:Making Sense of Relaxed Memory Peter Sewell1,…

    https://www.cl.cam.ac.uk/~pes20/slides-acs-2022.pdf
    20 Oct 2022: Multicore Semantics:Making Sense of Relaxed Memory. Peter Sewell1, Christopher Pulte1, Shaked Flur1,2. with contributions from Mark Batty3, Luc Maranget4, Alasdair Armstrong1. 1 University of Cambridge, 2 Google, 3 University of Kent, 4 INRIA Paris.

  46. Beyond the PDP-11: Architectural supportfor a memory-safe C abstract…

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201503-asplos2015-cheri-cmachine.pdf
    18 Feb 2022: Beyond the PDP-11: Architectural supportfor a memory-safe C abstract machine. David Chisnall Colin RothwellRobert N. ... M. Watson. Jonathan Woodruff Munraj VaderaSimon W. Moore Michael Roe. University of Cambridgefirstname.lastname@cl.cam.ac.uk.

  47. 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: David Eurof ma phd (emeritus fellow) Chatterjee Vengalil Krishna Kumar ma frs fmedsci. ... Honorary Fellows 1967 Watson James Dewey kbe scd frs 1980 Attenborough Sir David Frederick om ch cvo cbe.
    By: University of Cambridge

  48. Fellows of the Colleges 2021

    https://www.reporter.admin.cam.ac.uk/reporter/2021-22/special/03/CollegeFellows2021.pdf
    18 Feb 2022: Honorary Fellows 1967 Watson James Dewey kbe scd frs 1980 Attenborough Sir David Frederick om ch cvo cbe. ... ba. (paris sorbonne) (2013) 2010 Agarwal Anurag ma btech (bombay) phd (penn state) 2011 Watson Penelope Jayne ma vetmd phd Maxwell David ba
    By: University of Cambridge

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

    https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201505-ssp2015-cheri-compartment.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.

Refine your results

Format

clear all

Date

Related searches for `David Watson`

By type

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.