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 - 2 of 2 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
    22 Jul 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. Pioneering computer processor security rolls out for industry testing …

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