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 - 7 of 7 search results for `Watson and Peter Sewell`

  1. Fully-matching results

  2. Cambridge collaborates with Arm to improve computer security

    https://www.cst.cam.ac.uk/cambridge-collaborates-arm-improve-computer-security-0
    17 May 2024: M. Watson and Peter Sewell (left to right). The team at the University of Cambridge: Simon Moore, Robert N. ... M. Watson and Peter Sewell (left to right). CHERI aims to provide practically deployable performance and compatibility for software, as well

  3. Simon Moore | Department of Computer Science and Technology

    https://www.cst.cam.ac.uk/people/swm11
    17 May 2024: M. Watson, and Peter Sewell. Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process. ... Norton, Michael Roe, Peter Sewell, Stacey Son, and Jonathan Woodruff. CheriABI: Enforcing Valid

  4. CheriABI wins best paper award at ASPLOS conference | Department of…

    https://www.cst.cam.ac.uk/news/cheriabi-wins-best-paper-award-asplos-conference
    17 May 2024: Search site. Department of Computer Science and Technology. CheriABI wins best paper award at ASPLOS conference. ... The team is led by Dr Robert Watson (Cambridge), Dr Peter Neumann (SRI), Professor Simon Moore (Cambridge), and Professor Peter Sewell

  5. Pioneering computer processor security rolls out for industry testing …

    https://www.cst.cam.ac.uk/news/pioneering-computer-processor-security-rolls-out-industry-testing
    17 May 2024: Pictured left to right: CHERI project leaders Simon Moore, Robert Watson and Peter Sewell. ... Professor Peter Sewell, who leads this aspect of the project, notes "The Morello architecture specification is 60000 lines of intricate detail, and a mistake

  6. Making the digital world a safer place

    https://www.cam.ac.uk/stories/improving-computer-security
    Thumbnail for Making the digital world a safer place 25 May 2022: CHERI was conceived in 2010, with initial funding from DARPA. Professors Robert Watson and Simon Moore at the University’s Department of Computer Science and Technology, along with Dr Peter Neumann ... Watson and Moore were later joined by Professor
    By: Sarah Fell

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

    https://www.cst.cam.ac.uk/sites/www.cst.cam.ac.uk/files/theringjan2020.pdf
    15 Jan 2020: Team Treeniceratops, consisting of Maja Trela, Kacper Walentynowicz and David Wärn, finished second. ... M. Watson, Simon Moore, and Peter Sewell at the University of Cambridge Department of Computer Science and Technology, and by Peter G.

  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

Refine your results

Date

Related searches for `Watson and Peter Sewell`

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.