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 - 5 of 5 search results for `Watson and Peter Sewell` |u:www.cst.cam.ac.uk

  1. Fully-matching results

  2. Simon Moore | Department of Computer Science and Technology

    https://www.cst.cam.ac.uk/people/swm11
    4 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

  3. Cambridge collaborates with Arm to improve computer security

    https://www.cst.cam.ac.uk/cambridge-collaborates-arm-improve-computer-security-0
    4 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

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

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

    https://www.cst.cam.ac.uk/news/pioneering-computer-processor-security-rolls-out-industry-testing
    4 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

Refine your results

Date

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.