Search
Search Funnelback University
11 -
20 of
485
search results for `Peter Watson`
Fully-matching results
-
Peter Sewell: group bibliography, by topic
https://www.cl.cam.ac.uk/~pes20/papers/topics.html23 May 2024: Robert N. M. Watson, Peter Sewell, and William Martin. The Next Wave (The National Security Agency's review of emerging technologies), 4(1):10--21, 2023. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, -
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/~pes20/recent.html23 May 2024: Robert N. M. Watson, Peter Sewell, and William Martin. The Next Wave (The National Security Agency's review of emerging technologies), 4(1):10--21, 2023. ... M. Watson, and Peter Sewell. In ESOP 2022. [ Relaxed virtual memory in Armv8-A. -
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri.html23 May 2024: Robert N. M. Watson, Peter Sewell, and William Martin. The Next Wave (The National Security Agency's review of emerging technologies), 4(1):10--21, 2023. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, -
Kayvan Memarian
https://www.cl.cam.ac.uk/~km569/21 Apr 2024: Watson, and Peter Sewell. In ASPLOS 2024. [11] CN: Verifying Systems C Code with Separation-Logic Refinement Types. ... Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson and Peter Sewell. In -
Department of Computer Science and Technology – Security Group:…
https://www.cl.cam.ac.uk/research/security/publications/19 Jul 2024: arXiv:1709.06026, September 2017. Robert N. M. Watson, Peter G. Neumann, Simon W. ... Xi'an, China, 8-12 April, 2017. Robert N. M. Watson, Peter G. -
Making the digital world a safer place
https://www.cam.ac.uk/stories/improving-computer-security
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
-
Dr Theo Markettos | Department of Computer Science and Technology
https://www.cst.cam.ac.uk/people/atm2622 Jul 2024: and Watson, RNM., Thunderclap: Exploring Vulnerabilities in Operating System IOMMU Protection via DMA from Untrustworthy Peripherals. ... David, B., Watson, R., Alexander, R., Peter, N., Moore, S., Baldwin, J., Chisnall, D., Clarke, J., Filardo, N., Gudka -
Computer Laboratory: Dr A. Theodore Markettos
https://www.cl.cam.ac.uk/~atm26/22 Nov 2022: PDF). Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. ... Moore, Alex Bradbury, Hongyan Xia, Robert N. M. Watson, David Chisnall, Michael Roe, Brooks Davis, Edward Napierala, John Baldwin, Khilan Gudka, Peter G. -
Alex Richardson | Department of Computer Science and Technology
https://www.cst.cam.ac.uk/people/alr4822 Jul 2024: Themes. Publications. Journal articles. Memarian, K., Gomes, VBF., Davis, B., Kell, S., Richardson, A., Watson, RNM. ... and Watson, R., CheriRTOS: A Capability Model for Embedded Devices. David, B., Watson, R., Alexander, R., Peter, N., Moore, S., -
Computer Laboratory:
https://www.cl.cam.ac.uk/~sa614/15 Mar 2021: Theodore Markettos, Alfredo Mazzinghi, Robert M. Norton, Michael Roe, Peter Sewell, Stacey Son, Timothy M. ... Watson, S&P 2020. [The Guardian Council: Parallel Programmable Hardware Security, Sam Ainsworth and Timothy M.
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
Refine your results
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.