Search
Search Funnelback University
1 -
5 of
5
search results for `Watson and Peter Sewell` |u:www.cst.cam.ac.uk
Fully-matching results
-
Simon Moore | Department of Computer Science and Technology
https://www.cst.cam.ac.uk/people/swm1114 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 -
Cambridge collaborates with Arm to improve computer security
https://www.cst.cam.ac.uk/cambridge-collaborates-arm-improve-computer-security-014 Jul 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 -
CheriABI wins best paper award at ASPLOS conference | Department of…
https://www.cst.cam.ac.uk/news/cheriabi-wins-best-paper-award-asplos-conference14 Jul 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 -
Hall of Fame news 1 News from the Department ...
https://www.cst.cam.ac.uk/sites/www.cst.cam.ac.uk/files/theringjan2020.pdf15 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. -
Pioneering computer processor security rolls out for industry testing …
https://www.cst.cam.ac.uk/news/pioneering-computer-processor-security-rolls-out-industry-testing14 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
- 4 Yesterday
- 4 Past 3 months
- 4 Past fortnight
- 4 Past month
- 4 Past 6 months
- 4 2024
- 4 Past week
- 4 Past year
- 1 2020
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.