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 - 10 of 32 search results for `Peter Watson`

  1. Fully-matching results

  2. Computer Laboratory:

    https://www.cl.cam.ac.uk/~hx242/
    14 Oct 2019: Publications. Hongyan Xia, Jonathan Woodruff, Sam Ainsworth, Nathaniel W. Filardo, Michael Roe, Alexander Richardson, Peter Rugg, Peter G. ... Moore, Alex Bradbury, Hongyan Xia, Robert N. M. Watson, David Chisnall, Michael Roe, Brooks Davis, Edward

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

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

  5. CHERIvoke: Characterising Pointer Revocation usingCHERI Capabilities…

    https://www.cl.cam.ac.uk/~sa614/posters/cherivoke.pdf
    18 Sep 2019: Filardo, Michael Roe, Alexander Richardson,Peter Rugg, Peter G. Neumann, Simon W. ... Moore, Robert N. M. Watson and Timothy M. Jones. University of Cambridge, SRI International.

  6. sewellbib2

    https://www.cl.cam.ac.uk/~sf502/sewellbib2_abstracts.html
    29 Jun 2019: Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John Baldwin, David Chisnall, Brooks Davis, Nathaniel Wesley Filardo, Alexandre Joannou, Ben Laurie, A. ... Brooks Davis, Robert N. M. Watson,

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

  8. Notices - Cambridge University Reporter 6557

    https://www.reporter.admin.cam.ac.uk/reporter/2018-19/weekly/6557/section1.shtml
    24 Jul 2019: M. Watson and Professor Peter Sewell, which it is currently intended will be used to support their programme of research known as RESET (Rigorous Engineering for Secure and Trustworthy Systems) within ... N. M. Watson and Professor Simon Moore to further

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

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

  11. sewellbib2.bib

    https://www.cl.cam.ac.uk/~sf502/sewellbib2_bib.html
    29 Jun 2019: author = {Peter M. Sewell}, title = {Bisimulation is Not Finitely (First-Order) Equationally Axiomatisable}, conf = {LICS 1994}, booktitle = {Proceedings of the 9th IEEE Symposium on Logic in Computer Science (Paris)}, year = {1994}, ... topic =

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.