Search
Search Funnelback University
- Refined by:
- Date: 2022
1 -
50 of
94
search results for `Peter Watson`
Fully-matching results
-
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. -
Computer Laboratory: Jonathan Woodruff
https://www.cl.cam.ac.uk/~jdw57/11 Apr 2022: Robert NM Watson, Peter G Neumann, Jonathan Woodruff, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Simon W Moore, Steven J Murdoch, Michael Roe, Capability Hardware Enhanced RISC Instructions: CHERI ... 2013. Robert NM Watson, Peter G -
Computer Laboratory: Thomas Bauereiss
https://www.cl.cam.ac.uk/~tb592/19 Apr 2022: M. Watson, Peter Sewell. In ESOP 2022, pp. 174-203 [Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process. ... M. Watson, Peter Sewell. In IEEE Symposium on Security and Privacy 2020, pp. -
Making the digital world a safer place
https://www.cam.ac.uk/stories/improving-computer-security25 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
-
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-850.html18 Jul 2022: PDF (0.7 MB). BibTeX record. @TechReport{UCAM-CL-TR-850, author = {Watson, Robert N.M. and Neumann, Peter G. -
Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, ...
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/2012resolve-cheri.pdf18 Feb 2022: Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, Ross Anderson, Nirav Dave, Ben Laurie, SimonW. ... robert.watson@cl.cam.ac.uk. Peter G. NeumannSRI International. neumann@csl.sri.com. Jonathan WoodruffUniversity of Cambridge. -
Department of Computer Science and Technology – Course pages 2022–23: …
https://www.cl.cam.ac.uk/teaching/2223/R209/materials.html10 Oct 2022: Please contact the module instructors if you have any questions. Adversarial reasoning (10 October 2022 - Anderson, Watson, Hutchings). ... Brooks Davis, Robert NM Watson, Alexander Richardson, Peter G. Neumann, Simon W. -
History
www.tcm.phy.cam.ac.uk/about/history/22 Jul 2022: on DNA), Peter Hirsch turning the electron microscope onto seeing dislocations, and more. ... Peter Littlewood was appointed as Volker's successor as chair and head of group. -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2006-07/special/03/8.html28 Jan 2022: WATSON Stephen Roger MA PHD LIFE FELLOW. 1969. SPREADBURY Peter James MA MSC PHD LIFE FELLOW. ... O'DONALD Peter MA SCD. 1974. BARNES Richard James MA PHD MB BCHIR. -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-864.html18 Jul 2022: PDF (0.7 MB). BibTeX record. @TechReport{UCAM-CL-TR-864, author = {Watson, Robert N. M. ... and Neumann, Peter G. and Woodruff, Jonathan and Anderson, Jonathan and Chisnall, David and Davis, Brooks and Laurie, Ben and Moore, Simon W. -
Department of Computer Science and Technology – Course pages 2020–21: …
https://www.cl.cam.ac.uk/teaching/2021/R209/materials.html12 Nov 2022: Please contact the module instructors if you have any questions. Adversarial reasoning (12 October 2020 - Anderson, Beresford, Watson, Hutchings). ... Brooks Davis, Robert NM Watson, Alexander Richardson, Peter G. Neumann, Simon W. -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-940.html18 Jul 2022: and Moore, Simon W. and Neumann, Peter G. and Stark, Ian and Watson, Robert N. ... M. and Sewell, Peter}, title = {{Rigorous engineering for hardware security: formal modelling and proof in the CHERI design and implementation process}}, year = 2019, -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-959.html18 Jul 2022: Graeme and Watson, Robert N. ... M. and Sewell, Peter}, title = {{Verified security for the Morello capability-enhanced prototype Arm architecture}}, year = 2021, month = sep, url = -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-927.html18 Jul 2022: PDF (10.5 MB). BibTeX record. @TechReport{UCAM-CL-TR-927, author = {Watson, Robert N. M. ... and Neumann, Peter G. and Woodruff, Jonathan and Roe, Michael and Almatary, Hesham and Anderson, Jonathan and Baldwin, John and Chisnall, David and Davis, -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-876.html18 Jul 2022: PDF (0.9 MB). BibTeX record. @TechReport{UCAM-CL-TR-876, author = {Watson, Robert N. M. ... and Neumann, Peter G. and Woodruff, Jonathan and Roe, Michael and Anderson, Jonathan and Chisnall, David and Davis, Brooks and Joannou, Alexandre and Laurie, Ben -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-891.html18 Jul 2022: PDF (1.1 MB). BibTeX record. @TechReport{UCAM-CL-TR-891, author = {Watson, Robert N. M. ... and Neumann, Peter G. and Woodruff, Jonathan and Roe, Michael and Anderson, Jonathan and Chisnall, David and Davis, Brooks and Joannou, Alexandre and Laurie, Ben -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-907.html18 Jul 2022: PDF (9.4 MB). BibTeX record. @TechReport{UCAM-CL-TR-907, author = {Watson, Robert N. M. ... and Neumann, Peter G. and Woodruff, Jonathan and Roe, Michael and Anderson, Jonathan and Baldwin, John and Chisnall, David and Davis, Brooks and Joannou, -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-941.html18 Jul 2022: PDF (0.6 MB). BibTeX record. @TechReport{UCAM-CL-TR-941, author = {Watson, Robert N. M. ... and Moore, Simon W. and Sewell, Peter and Neumann, Peter G.}, title = {{An Introduction to CHERI}}, year = 2019, month = sep, url = -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2007-08/special/03/8.html28 Jan 2022: TOWNSEND Albert Alan PHD FRS LIFE FELLOW. 1953. RICKARD Peter LITTD LIFE FELLOW. ... KHODABAKHSH Saghar PHD. SCHMEING Thomas Martin Thorne. RUSSELL Paul Alexander. KING Lawrence Peter. -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-932.html18 Jul 2022: PDF (0.5 MB). BibTeX record. @TechReport{UCAM-CL-TR-932, author = {Davis, Brooks and Watson, Robert N. ... and Roe, Michael and Sewell, Peter and Son, Stacey and Woodruff, Jonathan}, title = {{CheriABI: Enforcing valid pointer provenance and minimizing -
Position Paper:Defending Direct Memory Access with CHERI Capabilities
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/2020hasp-cheri-dma.pdf18 Feb 2022: Theodore Markettos, John Baldwin, Ruslan Bukin, Peter G. Neumann,Simon W. Moore, and Robert N. ... HASP’20, October 2020, Online A. Theodore Markettos, John Baldwin, Ruslan Bukin, Peter G. -
CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities …
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201910micro-cheri-temporal-safety.pdf18 Feb 2022: Peter RuggUniversity of Cambridge. Peter G. NeumannSRI International. Simon W. MooreUniversity of Cambridge. ... Filardo,Michael Roe, Alexander Richardson, Peter Rugg, Peter G. Neumann, SimonW. Moore, Robert N. -
20160423-cheri-microkernel-workshop
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/pdfs/20160423-cheri-microkernel-workshop.pdf18 Feb 2022: Moore. University of Cambridge. Peter G. NeumannSRI International. CHERI Microkernel Workshop – 23 April 2016. ... CHERI models Simon Moore. CHERI C compiler David Chisnall. CheriBSD OS model Robert Watson. -
Developing a Test Suite for Transient-Execution Attacks on RISC-V and …
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/202106-carrv-transient-execution.pdf18 Feb 2022: M. Watson, Alexander Richardson, Peter G. Neumann,Simon W. Moore, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel WesleyFilardo, Khilan Gudka, Alexandre Joannou, Ben Laurie, A. ... RISC-V Foundation. Volume II: Privileged Architecture. [19] -
20190414-cheriabi
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20190414-cheriabi.pdf18 Feb 2022: CheriABIEnforcing/Valid/Pointer/Provenance/and/Minimizing/Pointer/Privilege/in/the/POSIX/C/Run?time/Environment. ... David/Chisnall,. James/Clarke,/Nathaniel/Wesley/Filardo,/Khilan -
Computer Science & Technology Advanced Topics inComputer…
https://www.cl.cam.ac.uk/teaching/2223/R265/slides/cheri.pdf3 Nov 2022: Run-time Environment. Brooks Davisbrooks.davis@sri.com. Robert N. M. Watson†robert.watson@cl.cam.ac.uk. Alexander Richardson†alexander.richardson@cl.cam.ac.uk. Peter G. ... Alfredo Mazzinghi†am2419@cam.ac.uk. Edward Tomasz -
Exploring C Semantics and Pointer Provenance
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201901-popl-cerberus.pdf18 Feb 2022: F. Gomes, Brooks Davis, Stephen Kell, Alexander Richardson, Robert N. M.Watson, and Peter Sewell. ... 67:12 Memarian, Gomes, Davis, Kell, Richardson, Watson, Sewell. usually involving one or more linking steps. -
Memory safety with CHERI capabilities: security analysis, language…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-975.pdf7 Nov 2022: To all members of theCHERI project, and especially Alex Richardson, Jessica Clarke, Peter Neumann, and JohnBaldwin, for making this work possible. ... Reports. • Peter G. Neumann and Brett F. Gutstein. CHERI’s mitigation of security vulnera-bilities. -
MineSweeper: A ``Clean Sweep'' for Drop-In Use-after-Free…
https://www.cl.cam.ac.uk/~tmj32/papers/docs/erdos22-asplos.pdf1 Oct 2022: MineSweeper: A “Clean Sweep” for Drop-In Use-after-FreePrevention. Márton ErdősUniversity of Cambridge. Cambridge, UKme412@cam.ac.uk. Sam AinsworthUniversity of Edinburgh. Edinburgh, UKsam.ainsworth@ed.ac.uk. Timothy M. JonesUniversity of -
cheri-jni-export
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20170412-asplos-cherijni-slides.pdf18 Feb 2022: Moore, Peter G. Neumann, Ben Laurie,. Robert N. M. Watson. The Java abstract machine. -
20160423-cheri-cherios
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/pdfs/20160423-cheri-cherios.pdf18 Feb 2022: Government. CHERICheriOS Microkernel. Hadrien BarralRobert N. M. Watson, Simon W. Moore, Peter G. -
20160423-cheri-models
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/pdfs/20160423-cheri-models.pdf18 Feb 2022: Government. CHERI Processor ModelsSimonW.Moore. Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, Hadrien Barral, Ruslan Bukin, David Chisnall, Nirav Dave, Brooks Davis, Lawrence Esswood, Khilan Gudka,. -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2004-05/special/03/22.html28 Jan 2022: 1983. HOLMES Rev Jonathan Michael MA VETMB PHD. 1984. HAYNES Peter Howard MA PHD. ... EVANS David Wainwright MA. WATSON Peter Gordon MA MB BCHIR. 1987. -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2006-07/special/03/22.html28 Jan 2022: 1985. HALSTEAD Sir Ronald MA CBE. 1987. MATHIAS Peter MA LITTD CBE FBA. ... EVANS David Wainwright MA. WATSON Peter Gordon MA MB BCHIR. 1993. -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2005-06/special/03/22.html28 Jan 2022: 1985. HALSTEAD Sir Ronald MA CBE. 1987. MATHIAS Peter MA LITTD CBE FBA. ... EVANS David Wainwright MA. WATSON Peter Gordon MA MB BCHIR. 1993. -
CHERI: A Hybrid Capability-System Architecture forScalable Software…
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201505-oakland2015-cheri-compartmentalization.pdf18 Feb 2022: Watson, Jonathan Woodruff, Peter G. Neumann†, Simon W. Moore, Jonathan Anderson‡,David Chisnall, Nirav Dave†, Brooks Davis†, Khilan Gudka, Ben Laurie, Steven J. -
Fellows of the Colleges 2021
https://www.reporter.admin.cam.ac.uk/reporter/2021-22/special/03/CollegeFellows2021.pdf18 Feb 2022: 3 ] FELLOWS OF THE COLLEGES 13. DOWNING COLLEGEMasterBookbinder Alan Peter ba ma ma. ... ma phd 2014 Evans Peter David ma phd scd Linden Paul Frederick bsc msc phd frs. -
The Eagle 2004
https://www.joh.cam.ac.uk/sites/default/files/inline-files/Eagle_2004%20no%20birthdates_0.pdf10 Oct 2022: Canon Peter Dodd (BA 1957, MA 1961). COLLEGE ROOMS. During Michaelmas Term 2003, the College Library provided a display. -
CHAPTER XII - Trusts - Statutes and Ordinances, 2022 Edition
https://www.reporter.admin.cam.ac.uk/univ/so/pdfs/2022/ordinance12.pdf16 Dec 2022: Statutes and Ordinances -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2009-10/special/03/22.html28 Jan 2022: 1983. HOLMES Rev Jonathan Michael MA VETMB PHD. 1984. HAYNES Peter Howard MA PHD. ... EVANS David Wainwright MA. WATSON Peter Gordon MA MB BCHIR. 1993. -
The Eagle 2005
https://www.joh.cam.ac.uk/sites/default/files/inline-files/Eagle_2005%20no%20birthdates_1.pdf10 Oct 2022: Peter Johnstone. CRIMES AND PUNISHMENTS: A JOHNIAN UNDERWORLD. Despite the best endeavours of vigilant Tutors and demanding Directors. ... Johnians who turn t o crime usually have the grace t o commit their offences far beyond the Great Gate, but as -
Fellows of the Colleges 2022, Reporter Special No 3, vol 153 (2022-23)
https://www.reporter.admin.cam.ac.uk/reporter/2022-23/special/03/CollegeFellows2022.pdf21 Dec 2022: 3 ] FELLOWS OF THE COLLEGES 13. DOWNING COLLEGEMasterBookbinder Alan Peter ba ma ma. ... phd 2014 Evans Peter David ma phd scd Linden Paul Frederick bsc msc phd frs. -
Trinity HallA year in the life of the Trinity ...
https://www.trinhall.cam.ac.uk/wp-content/uploads/2023/10/S01018_Trinity_Hall_Review_OS_22_SG_WEB-1.pdf15 Dec 2022: Trinity HallA year in the life of the Trinity Hall community. TRIN. ITY. HA. LL C. AMBR. IDG. E. Trini. ty H. all R. eview. 202. 1/22. Academic Year 2021/22. 2021/22. This year’s Trinity Hall Review tells the story of the College community’s -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2007-08/special/03/22.html28 Jan 2022: SPUFFORD Peter MA PHD LITTD FBA LIFE FELLOW. JACKSON James Anthony MA PHD FRS. ... WATSON Peter Gordon MA MB BCHIR. 1993. CORMACK George Carl MA MB CHB. -
Members of University Bodies / Representatives of the University,…
https://www.reporter.admin.cam.ac.uk/reporter/2021-22/special/05/05-UniversityBodies-2022.pdf11 Jul 2022: Ian Michael Hutchings, JN, Dr Matthew Russell Jones, DAR, Dr Penelope Jayne Watson, EM, Prof. ... Mauro Federico Guillén, Q, Prof. William Hurst, W, Mr Peter Andrew Jestyn Phillips, W, Prof. -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2008-09/special/03/22.html28 Jan 2022: 1985. HALSTEAD Sir Ronald MA CBE. 1987. MATHIAS Peter MA LITTD CBE FBA. ... WATSON Peter Gordon MA MB BCHIR. 1993. CORMACK George Carl MA MB CHB. -
Fellows' and Members' News 2000s
https://www.joh.cam.ac.uk/sites/default/files/inline-files/Fellows%27_%26_Members%27_News_2000s%20without%20birthdates.pdf10 Oct 2022: CARNLEY, The Most Reverend Dr Peter F., was elected Primate. of all Australia, February 2000. ... W EBSTER, Peter AN., was admitted as a solicitor of the Supreme Court of England & Wales, 1 October 1999. -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2008-09/special/03/8.html28 Jan 2022: WATSON Stephen Roger MA PHD LIFE FELLOW. 1969. SPREADBURY Peter James MA PHD LIFE FELLOW. ... CARNLEY Peter PHD. RHYS JONES Griff MA FWCMA FRSA. KELLY Frank PHD FRS. -
Amy Wilkinson - 2022 cohort | Harding Distinguished Postgraduate…
https://www.hardingscholars.fund.cam.ac.uk/amy-wilkinson-2022-cohort25 Nov 2022: However, my interest in epigenetics and human reproduction was really cemented by undertaking exciting research projects in the labs of Professor Graham Burton, Dr Erica Watson, and Dr Peter Rugg-Gunn. -
Statutes and Ordinances of the University of Cambridge, 2022 Edition
https://www.reporter.admin.cam.ac.uk/univ/so/pdfs/2022/Cambridge-Statutes-and-Ordinances-2022.pdf21 Dec 2022: Statutes and Ordinances
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.