Search
Search Funnelback University
201 -
250 of
434
search results for `Peter Watson`
Fully-matching results
-
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] -
Notices - Cambridge University Reporter 6217
https://www.reporter.admin.cam.ac.uk/reporter/2010-11/weekly/6217/section1.shtml9 Mar 2011: Nicholas J. Gay. M. Leggatt. Peggy Watson. J. L. Gluza. Pei-Yin Lin. ... Benjamin Walton. Colin Crump. Peter Mandler. Peggy Watson. J. Dalley. H. -
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. -
SCI-MUS-MATHS © World Scientific
www.damtp.cam.ac.uk/user/mem/papers/LHCE/lucidity-preface.html22 Sep 2023: Daphne Sulston, John Sulston, Stephen Thomson, Paul Valdes, Yixin Wan, Andy Watson, Ronald S. ... Watts, Estelle Wolfers, Flick Wolfers, Jeremy Wolfers, Jon Wolfers, Peter Wolfers, Eric Wolff, Toby Wood, Jim Woodhouse, and Laure Zanna. -
Computer Science & Technology Advanced Topics inComputer…
https://www.cl.cam.ac.uk/teaching/2324/R265/slides/cheri2023.pdf2 Nov 2023: 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 -
Notices - Cambridge University Reporter 6557
https://www.reporter.admin.cam.ac.uk/reporter/2018-19/weekly/6557/section1.shtml24 Jul 2019: M. Watson and Professor Peter Sewell, which it is currently intended will be used to support their programme of research known as RESET (Rigorous Engineering for Secure and Trustworthy Systems) within ... N. M. Watson and Professor Simon Moore to further -
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 -
FELLOWS OF THE COLLEGES - Cambridge University Reporter Special No 2…
https://www.reporter.admin.cam.ac.uk/reporter/2013-14/special/02/section1.shtml3 Oct 2013: Rayner Peter John Wynn ma phd emeritus fellow. 1972. Ingham Geoffrey Keith phd. ... Harris Peter llm phd. Kendall Mary ma. 2002. Packwood Allen George mphil frhists. -
Bluespec Extensible RISC Implementation: BERI Software reference
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-869.pdf14 Apr 2015: Moore, Steven J. Murdoch,Peter G. Neumann, Jonathan Woodruff. April 2015. 15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone 44 1223 763500. ... http://www.cl.cam.ac.uk/. c 2015 Robert N. M. Watson, David Chisnall,Brooks Davis, Wojciech Koszek, -
Fellows of the Colleges - Cambridge University Reporter Special No 2…
https://www.reporter.admin.cam.ac.uk/reporter/2014-15/special/02/section1.shtml3 Oct 2014: Hasan Tawfique meng phd. Toner Jeremy Peter phd. 2014. Mei Jianjun msc phd. ... 2008. Passmore Lori Anne phd. 2009. Markowich Peter dr techn. Rowe Elizabeth phd. -
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. -
Reporter 25/4/01: Congregation of the Regent House on 24 March 2001
https://www.reporter.admin.cam.ac.uk/reporter/2000-01/weekly/5843/34.html29 Nov 2011: Doctor of Philosophy. Ho, Peter Kian-Hoon. Master of Arts. Watson, Ian Andrew. ... Khawaja, Anthony Peter. Kusznir, Helen Margaret. Lewis, Natasha Jane Victoria. McElwee, Martin John. -
Reporter 21/4/99: Congregation of the Regent House on 20 March 1999
https://www.reporter.admin.cam.ac.uk/reporter/1998-99/weekly/5770/27.html29 Nov 2011: Mason, Charlotte Clare. Mews, Corin James Stuart. Mitchell, Fiona Jane. Oates, William Peter. ... Wylie, Peter Neal. Zsak, Andras. in absence. Master of Arts. Bailey, Robin Thomas. -
Capability Hardware Enhanced RISC Instructions: CHERI User's guide
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-851.pdf14 Jul 2014: CHERI User’s guide. Robert N.M. Watson, David Chisnall,Brooks Davis, Wojciech Koszek,. ... Simon W. Moore, Steven J. Murdoch,Peter G. Neumann, Jonathan Woodruff. April 2014. -
Fellows of the Colleges - Cambridge University Reporter Special No 2…
https://www.reporter.admin.cam.ac.uk/reporter/2012-13/special/02/section1.shtml4 Oct 2012: Navaratnam Visvanathan phd emeritus fellow. Rayner Peter John Wynn ma phd emeritus fellow. ... 1999. McNaughton Peter Anthony bsc ma dphil [1983]. 2001. Fiore Marcelo Pablo phd. -
Selwyn College Chapel – Music for Choral Services Michaelmas Term 2007
https://www.sel.cam.ac.uk/sites/default/files/assets/chapel/music%20list%20lent%202017.pdf10 Jan 2017: Thursday 19 January RESPONSES Peter Nardone PSALM 100 Choral Evensong 6:30pm CANTICLES Watson in E ANTHEM The three kings – Jonathan Dove NEH VOLUNTARY How lovely shines the morning star – Flor ... Tuesday 31 January RESPONSES Peter Nardone PSALM 21 -
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 -
CHERIoT: Complete Memory Safety for Embedded Devices
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/202310ieeemicro-cheriot-uarch.pdf9 Dec 2023: Yucong TaoYucong.Tao@microsoft.com. MicrosoftMountain View, California, USA. Robert N. M. Watsonrobert.watson@cl.cam.ac.ukUniversity of Cambridge. ... Moore, Yucong Tao, RobertN. M. Watson, and Hongyan Xia. 2023. CHERIoT: Complete Memory Safetyfor -
Hardware support for compartmentalisation
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-887.pdf27 May 2016: Jonathan Woodruff, Robert N. M. Watson, David Chisnall, Simon W Moore, JonathanAnderson, Brooks Davis, Ben Laurie, Peter G Neumann, Robert Norton, andMichael Roe. ... 12. • Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, -
Cambridge University Reporter Special No 2 (2016-17) - Fellows of the …
https://www.reporter.admin.cam.ac.uk/reporter/2016-17/special/02/19 Oct 2016: Hasan Tawfique meng phd. Toner Jeremy Peter phd. 2014. Mei Jianjun msc phd. ... 2015. Wadhams Peter scd. Visiting Fellows. 2016. Alici Antonello phd. Ambos Kai phd. -
Cambridge University Reporter Special No 2 (2015-16) - Fellows of the …
https://www.reporter.admin.cam.ac.uk/reporter/2015-16/special/02/5 Oct 2015: 1967. Watson James Dewey scd kbe frs. 1969. Parris Matthew Francis ba ma. ... 2001. Lash Nicholas Langrishe Alleyne phd dd. Dronke Ernest Peter Michael ma fba. -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2006-07/special/08/1.html28 Jan 2022: b.1942), and Untitled/Three men in moonlight by Peter Howson (b.1958), together with two pastels by the same artist and two more, The Dead Gladiator by Anthony Pilbro ... 9-11. Sally-Ann Ashton, review of 'Peter. F. Dorman, Faces in Clay: Technique and -
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. -
Acta - Cambridge University Reporter 6160
https://www.reporter.admin.cam.ac.uk/reporter/2009-10/weekly/6160/section14.shtml7 Oct 2009: Mr Martin Watson. Dr Gerard Duveen. Dr Festus Adenrele. Dr Peter Bunclark. -
Cambridge University Reporter Special
https://www.reporter.admin.cam.ac.uk/reporter/2005-06/weekly/6022/29.html28 Jan 2022: WATSON. DIMA CHIRGADZE. P. A. HAYNES. L. PACKMAN. PENNY WATSON. VINCENT PETER COLLINS. ... C. GORDON. M. V. LUCAS-SMITH. PETER ROBINSON. E. J. BRISCOE. IAN A. -
Bluespec Extensible RISC Implementation: BERI Software reference
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-853.pdf14 Jul 2014: Robert N.M. Watson, David Chisnall,Brooks Davis, Wojciech Koszek,. Simon W. Moore, Steven J. ... Murdoch,Peter G. Neumann, Jonathan Woodruff. April 2014. 15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone 44 1223 763500. -
An Introduction to CHERI
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-941.pdf7 Jul 2020: Robert N. M. Watson, Simon W. Moore,Peter Sewell, Peter G. Neumann. ... https://www.cl.cam.ac.uk/. c 2019 Robert N. M. Watson, Simon W. Moore,Peter Sewell, Peter G. -
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,. -
Efficient spatial and temporal safety for microcontrollers and…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-984.pdf2 Aug 2023: application-class processors. Peter David Rugg. July 2023. 15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone 44 1223 763500. ... Efficient spatial and temporal safety for microcontrollers and. application-class processors. Peter David Rugg. -
Curriculum Vitae – Ross Anderson I am Professor of ...
https://www.cl.cam.ac.uk/~rja14/Papers/cv.pdf9 Mar 2024: Ten former students are professors (George Danezis andSteven Murdoch at UCL, Robert Watson, Frank Stajano and Markus Kuhn at Cam-bridge, Jeff Yan at Strathclyde, Feng Hao at Warwick, Shishir Nagaraja ... Skoroboga-tov, Hyun-Jin Choi, Richard Clayton, -
https://www.cl.cam.ac.uk/~jps79/movies.tinydb.json
https://www.cl.cam.ac.uk/~jps79/movies.tinydb.json4 Oct 2023: movie_id": "tt0022100", "title": "M", "year": 1931, "type": "movie", "minutes": 117, "genres": ["Crime", "Mystery", "Thriller"], "rating": 8.3, "rating_votes": 162896, "actors": [{"person_id": "nm0000048", "name": "Peter Lorre", "roles": ["Hans -
71 ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS ALASDAIR ...
https://www.cl.cam.ac.uk/~pes20/sail/sail-popl2019.pdf9 Nov 2018: Gray, Robert M. Norton,Prashanth Mundkur, Mark Wassell, Jon French, Christopher Pulte, Shaked Flur, Ian Stark, Neel Krishnaswami,and Peter Sewell. ... 2.2 MIPS and CHERI-MIPSCHERI-MIPS [Watson et al. 2018, 2015; Woodruff et al. -
20171108-iccd-tags
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20171108-iccd-tags.pdf18 Feb 2022: Hongyan Xia, Robert N. M. Watson, David Chisnall, Michael Roe, Brooks Davis, Peter G. -
Genetic and Generic Determinism (article)
https://www.hps.cam.ac.uk/files/lipton-genetic-generic.pdf5 Apr 2021: Peter Lipton. Department of History and Philosophy of Science. Free School Lane, Cambridge CB2 3RH UK. ... 13. Bibliography. Ayer, A.J. (1946) ‘Freedom and Necessity’, Polemic, 5. Reprinted in Watson (1982). -
CHERI compartmentalisation for embedded systems
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-976.pdf10 Nov 2022: Special thanks to my supervisor, Robert N. M. Watson, for giving me the opportunity to workon a research topic which reflects my passion. ... Further, I am grateful tomy colleagues: Alexander Richardson, Jessica Clarke, Peter Rugg, Alexandre Joannou, -
CHERI JNI: Sinking the Java security model into the ...
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/201704-asplos-cherijni.pdf18 Feb 2022: Moore† Peter G. Neumann‡. Ben LaurieO Robert N. M. Watson††University of Cambridge ‡SRI International ODeepMind Technologies Ltd. -
CTSRD CRASH-worthy TrustworthySystems Research and DevelopmentCTSRD…
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20120303-resolve-cheri.pdf18 Feb 2022: Robert N.M. Watson, Peter G. NeumannJonathan Woodruff, Jonathan Anderson, Ross Anderson. ... SRI. Systems, Formal Methods: Peter Neumann, Nirav Dave, Hassen Saidi, Rance DeLong, John Rushby, Pat Lincoln, Natarajan Shankar. -
20140618-jdw57-isca-cheri.key
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20140618-isca2014-cheri-slides.pdf18 Feb 2022: Jonathan Woodruff, Robert N. M. Watson, David Chisnall, Simon W. Moore, Jonathan Anderson, Brooks Davis, Ben Laurie, Peter G. -
Technical ReportNumber 873 Computer Laboratory UCAM-CL-TR-873ISSN…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-873.pdf19 Sep 2016: extended version). Khilan Gudka, Robert N.M. Watson,Jonathan Anderson, David Chisnall,. Brooks Davis, Ben Laurie, Ilias Marinos,Peter G. ... http://www.cl.cam.ac.uk/. c 2015 Khilan Gudka, Robert N.M. Watson,Jonathan Anderson, David Chisnall, Brooks -
Cambridge University Reporter Special No 2 (2017-18) - Fellows of the …
https://www.reporter.admin.cam.ac.uk/reporter/2017-18/special/02/20 Oct 2017: 2017. Cane Peter Frederic fba fassa faal. To Ho-On phd. Tanna Natasha. ... O’Brien Conor phd. Savory Sebastian phd. Young Anna phd. Sloman Peter phd. -
20150305-aplos-cheri-c.key
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20150305-aplos2015-cheri-cmachine-slides.pdf18 Feb 2022: Watson†, Jonathan Woodruff†, Munraj Vadera†, Simon W. Moore†, Peter G. Neumann‡, and Michael Roe†. -
ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS
https://www.cl.cam.ac.uk/~nk480/sail-submitted.pdf12 Jul 2018: 2.2 MIPS and CHERI-MIPSCHERI-MIPS [Watson et al. 2017, 2015; Woodruff et al. -
FELLOWS OF THE COLLEGES - Cambridge University Reporter Special No 3…
https://www.reporter.admin.cam.ac.uk/reporter/2010-11/special/03/section1.shtml7 Oct 2010: Navaratnam Visvanathan phd emeritus fellow. Rayner Peter John Wynn ma phd emeritus fellow. ... Alexander Gavin Robert ma phd. 1999. McNaughton Peter Anthony ma bsc dphil [1983]. -
FELLOWS OF THE COLLEGES - Cambridge University Reporter Special No 2…
https://www.reporter.admin.cam.ac.uk/reporter/2011-12/special/02/section1.shtml12 Oct 2011: Navaratnam Visvanathan phd emeritus fellow. Rayner Peter John Wynn ma phd emeritus fellow. ... 1999. McNaughton Peter Anthony ma bsc dphil [1983]. 2001. Fiore Marcelo Pablo phd. -
20190926-innovateuk-cheri
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20190926-innovateuk-cheri-slides.pdf18 Feb 2022: Peter Sewell, Stacey Son, Domagoj Stolfa, Andrew Turner, Munraj Vadera, Jonathan Woodruff, Hongyan Xia, and Bjoern A. ... To learn more about the CHERI architecture and prototypes:http://www.cheri-cpu.org/. • Watson, et al. -
20151014-ccs-soaap-distribution
https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/20151014-ccs-soaap-distribution.pdf18 Feb 2022: Government. Clean Application Compartmentalization with SOAAP. Khilan Gudka, Robert N.M. Watson, Jonathan Anderson†, David Chisnall, Brooks Davis, Ben Laurie, Ilias Marinos, Peter G. ... Linux SELinux 200. CapLinux seccomp 11,300. FreeBSD Capsicum 100. -
OFFICERS IN INSTITUTIONS PLACED UNDER THE SUPERVISION OF THE GENERAL…
https://www.reporter.admin.cam.ac.uk/reporter/2017-18/special/04/section3.shtml8 Feb 2018: 2012. Paul David Peter Pharoah, CAI. Cancer Prevention. 2014. Rebecca Clare Fitzgerald, T. ... Christopher John Edward Watson, F. Urban and Regional Economics. 2005. Peter Tyler, CTH.
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.