Search
Search Funnelback University
31 -
80 of
487
search results for `Peter Watson`
Fully-matching results
-
Silverware 1750–99 | Queens' College
https://www.queens.cam.ac.uk/visiting-the-college/history/college-facts/silverware/silverware-1750-9924 Jul 2024: Max diameter: 60mm, height: 82mm excluding pourer and handle. The donor, by bequest in 2017, was Peter Gordon Watson (1930–2017): matric. ... The donor, by bequest in 2017, was Peter Gordon Watson (1930–2017): matric. -
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. -
[1] ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS. Alasdair ...
https://www.cl.cam.ac.uk/~pes20/rems/report-2019-web011.html3 Jun 2020: M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Jonathan Anderson, John Baldwin, David Chisnall, Brooks Davis, Alexandre Joannou, Ben Laurie, Simon W. ... Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Jonathan Anderson, David -
Department of Computer Science and Technology – CHERI: The Digital…
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/dsbd.html22 Feb 2024: Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John Baldwin, David Chisnall, Brooks Davis, Nathaniel Wesley Filardo, Alexandre Joannou, Ben Laurie, A. ... Boston, MA, USA, November 5-8, 2017. -
Computer Laboratory:
https://www.cl.cam.ac.uk/~hx242/14 Oct 2019: Publications. Hongyan Xia, Jonathan Woodruff, Sam Ainsworth, Nathaniel W. Filardo, Michael Roe, Alexander Richardson, Peter Rugg, Peter G. ... Moore, Alex Bradbury, Hongyan Xia, Robert N. M. Watson, David Chisnall, Michael Roe, Brooks Davis, Edward -
Cerberus
https://www.cl.cam.ac.uk/~pes20/cerberus/1 Oct 2023: Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award. [ ... M. Watson, Peter Sewell. Identical to the above POPL 2019 paper text. -
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-DBLP.xml
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-DBLP.xml16 Jul 2024: 128 1988 February University of Cambridge, Computer Laboratory, Technical Report https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-128.html Jeremy Peter Bennett A methodology for automated design of ... ac.uk/techreports/UCAM-CL-TR-141.html Peter Newman A -
Department of Computer Science and Technology – CTSRD: Publications
https://www.cl.cam.ac.uk/research/security/ctsrd/publications.html2 Mar 2024: Boston, MA, USA, November 5-8, 2017. Robert N. M. Watson, Peter G. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, Ross Anderson, Nirav Dave, Ben Laurie, Simon W. -
Department of Computer Science and Technology: List of current PhD…
https://www.cl.cam.ac.uk/lists/phd/current.html20 Jul 2024: Search site. current. Department of Computer Science and Technology. List of current PhD students. Data source: The table below is automatically generated from the. Research_Students. table on the departmental SQL server, maintained by Lise Gough, -
Governance | Centre for Trophoblast Research
https://www.trophoblast.cam.ac.uk/about-us/governance24 Jul 2024: Dr Peter Rugg-Gunn, Babraham Institute. Dr Erica Watson, Department of Physiology, Development and Neuroscience. -
Department of Computer Science and Technology: CTSRD
https://www.cl.cam.ac.uk/research/security/ctsrd/31 Oct 2023: M. Watson (University of Cambridge), Simon W. Moore (University of Cambridge), Peter Sewell (University of Cambridge), Brooks Davis (SRI International) and Peter Neumann (SRI International). ... New York Times, October 2012: article on Dr Peter G. -
Isla: Integrating full-scale ISA semantics and axiomatic concurrency…
https://www.cl.cam.ac.uk/~pes20/papers/topic.ISA_semantics.html23 May 2024: M. Watson, and Peter Sewell. In ESOP 2022. [ Isla: Integrating full-scale ISA semantics and axiomatic concurrency models. ... Christopher Pulte, Shaked Flur, Will Deacon, Jon French, Susmit Sarkar, and Peter Sewell. -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-988.html28 Oct 2023: David and Campbell, Brian and Stark, Ian and Watson, Robert N. ... M. and Sewell, Peter}, title = {{CHERI C semantics as an extension of the ISO C17 standard}}, year = 2023, month = oct, url = -
Writing Europe, 500-1450 | English Faculty News
https://www.english.cam.ac.uk/news/archives/793Other contributors include: Rolf H. Bremmer Jr, Stewart Brookes, Aidan Conti, Helen Fulton, Marilena Maniaci, Debora Matos, Annina Seiler, Peter A. ... Stokes, Nadia Togni, Svetlana Tsonkova, Matilda Watson, George Younge. Posted in:Tagged:Post navigation -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-951.html7 Nov 2023: PDF (3.3 MB). BibTeX record. @TechReport{UCAM-CL-TR-951, 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 Barnes, Graeme and Chisnall, -
topic.WG14.bib
https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14_bib.html23 May 2024: Watson and Peter Sewell }, title = {Into the depths of {C}: elaborating the de facto standards}, abstract = { C remains central to our computing infrastructure. ... M. Watson and Peter Sewell}, title = {Exploring {C} Semantics and Pointer Provenance}, -
Department of Computer Science and Technology – Technical reports:…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-987.html21 Sep 2023: BibTeX record. @TechReport{UCAM-CL-TR-987, author = {Watson, Robert N. M. and Neumann, Peter G. ... Theodore and Moore, Simon W. and Murdoch, Steven J. and Nienhuis, Kyndylan and Norton, Robert and Richardson, Alexander and Rugg, Peter and Sewell, Peter -
The Trinity Clock
https://clock.trin.cam.ac.uk/main.phpwinding by Alexander Watson, John Perry, Blazej Puchala, Dido Coley, Zach Foster, Jack Celliers. ... visit by Katie Thompson, Andreas Metzler, Pat Batcheler, Peter Batcheler and Rupert Gatti. -
N3005: A Provenance-aware Memory Object Model for C. Working ...
https://www.cl.cam.ac.uk/~pes20/papers/topic.WG14_abstracts.html23 May 2024: Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award. ... M. Watson. ISO SC22 WG14 N2013, March 2016. [. N2012: Clarifying the C memory object model, Kayvan Memarian and Peter Sewell. -
David Chisnall
https://www.cl.cam.ac.uk/www.cl.cam.ac.uk/~dc552/15 Feb 2024: Moore, Peter G. Neumann and Robert N. M. Watson. ... and Neumann, Peter G. and Watson, Robert N. M.}, doi = {10.1145/3620665.3640416}, booktitle = {Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages -
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 -
CN: Verifying systems C code with separation-logic refinement types.…
https://www.cl.cam.ac.uk/~pes20/papers/topic.Cerberus_abstracts.html23 May 2024: M. Watson, and Peter Sewell. In POPL 2019, Proc. ACM Program. ... Watson, and Peter Sewell. In PLDI 2016, PLDI 2016 Distinguished Paper award. -
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, -
Award for documentary informed by student’s research | St…
https://www.caths.cam.ac.uk/documentary-awardMalik Al Nasir, PhD Candidate (Credit: Peter Chin). Malik, who changed his name from Mark Watson when he became a Muslim in 1992, has found the project especially meaningful for personal ... And sure enough, we were!”. Andrew Watson, seated centre, -
David Chisnall - Publications
https://www.cl.cam.ac.uk/www.cl.cam.ac.uk/~dc552/publications.html15 Feb 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... Watson, Jonathan Woodruff, Munraj Vadera, Simon W. Moore, Peter G. Neumann and Michael Roe. -
Department of Computer Science and Technology – Course pages 2017–18: …
https://www.cl.cam.ac.uk/teaching/1718/lecturers.html26 Jun 2023: Course pages 2017–18. Contents. Index of courses by lecturer. Please check the official timetables for timetable details. Easter,Lent,Michaelmas,Michaelmas,Lent,Easter,Michaelmas,Lent,Pre-arrival,Michaelmas,Michaelmas,Lent,Easter,Michaelmas, -
CHAPTER XII : TRUSTS - FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS,…
https://www.reporter.admin.cam.ac.uk/univ/so/2018/chapter12-section2.html13 Nov 2018: Statutes and Ordinances of the University of Cambridge. Preceding: Chapter XI. Following:CHAPTER XII. pp. 768–1032. TRUSTS. Previous section:Section 2. FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS, ETC.pp. 768–1032. FUNDS, STUDENTSHIPS, PRIZES, -
New cell death mechanism has implications for breast cancer…
https://www.cam.ac.uk/research/news/new-cell-death-mechanism-has-implications-for-breast-cancer-treatments25 Feb 2011: Peter Kreuzaler. Billions of damaged or superfluous cells die in our bodies every day. ... Share. Published. 25 Feb 2011. Image. alveolicells. Credit: Peter Kreuzaler, Cambridge University Department of Pathology. -
sewellandgroupbib2
https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_abstracts.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, -
sewellandgroupbib2.bib
https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_bib.html23 May 2024: author = {Peter M. Sewell}, title = {Bisimulation is Not Finitely (First-Order) Equationally Axiomatisable}, conf = {LICS 1994}, booktitle = {Proceedings of the 9th IEEE Symposium on Logic in Computer Science (Paris)}, year = {1994}, ... topic = -
List
https://venn.lib.cam.ac.uk/Documents/acad/2016/lists/UL.html12 Oct 2020: 1976-89 Goddard, Peter (Reader in Mathematical Physics, 1989). 1976-92 Skilling, John. ... Astronomy, Lectureship in. 1997-99 Eggleton, Peter Philip (Reader in Stellar Evolution, 1999). -
CHAPTER XII : TRUST EMOLUMENTS - FUNDS, STUDENTSHIPS, PRIZES,…
https://www.reporter.admin.cam.ac.uk/univ/so/2011/chapter12-section2.html29 Nov 2011: Statutes and Ordinances of the University of Cambridge. Preceding: Chapter XI. Following:CHAPTER XII. TRUST EMOLUMENTS. Previous section:Section 2. FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS, ETC. GENERAL REGULATIONS FOR AWARDS. Restriction of -
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. -
Isla: Integrating full-scale ISA semantics and axiomatic concurrency…
https://www.cl.cam.ac.uk/~pes20/papers/topic.ISA_semantics_abstracts.html23 May 2024: M. Watson, and Peter Sewell. In ESOP 2022. [Memory safety bugs continue to be a major source of security vulnerabilities in our critical infrastructure. ... Christopher Pulte, Shaked Flur, Will Deacon, Jon French, Susmit Sarkar, and Peter Sewell. -
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheriformal.html2 Nov 2023: 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, -
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-RSS.xml
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-RSS.xml16 Jul 2024: Davis, Brooks Richardson, Alex Chisnall, David Campbell, Brian Stark, Ian Watson, Robert N. ... Early performance results from the prototype Morello microarchitecture https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-986.pdf Watson, Robert N. -
elver.bib
https://www.cl.cam.ac.uk/~pes20/elver_bib.html23 May 2024: optrecent = {true}, elver = {true} }.. @techreport{UCAM-CL-TR-927, author = {Watson, Robert N. M. and Neumann, Peter G. ... Norton and Moore, Simon W. and Neumann, Peter G. and Ian Stark and Watson, Robert N. -
topic.ISA_semantics.bib
https://www.cl.cam.ac.uk/~pes20/sail/topic.ISA_semantics_bib.html7 Dec 2022: Neel Krishnaswami and Peter Sewell and Mark Wassell}, title = {Formalisation of {MiniSail} in the {Isabelle} Theorem Prover}, optcrossref = {}, optkey = {}, conf = {Automated Reasoning Workshop (ARW) 2018}, booktitle = {Proc. ... Sewell, Thomas and -
The Cambridge Group for the History of Population and Social…
https://www.campop.geog.cam.ac.uk/research/occupations/datasets/usage/148. Peter Leadbetter is using the data to create maps of the borders of the old counties, hundreds and wapentakes for a study of the 17th century, pre-Civil War Trained ... 1600-1900. 106. Dr Katherine D. Watson (Oxford Brookes University) is using the -
Department of Computer Science and Technology: Bluespec Extensible…
https://www.cl.cam.ac.uk/research/security/ctsrd/beri/10 Jul 2023: Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, Ross Anderson, Nirav Dave, Ben Laurie, Simon W. ... Robert N.M. Watson, Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Simon W. -
Arm Morello Programme: Architectural security goals and known…
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-982.pdf14 Jul 2023: 2023 Robert N. M. Watson, Jessica Clarke, Peter Sewell,Simon W. Moore, Jonathan Woodruff, Arm Limited. ... 2019. URL: https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-941.pdf. [5] Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, -
DSbD CHERI and Morello Capability Essential IP (Version 1)
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-953.pdf23 Dec 2020: Moore,. Peter Sewell, Arm Limited. December 2020. 15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone 44 1223 763500. ... https://www.cl.cam.ac.uk/. 2020 Robert N. M. Watson, Jonathan Woodruff,Alexandre Joannou, Simon W. -
Postgraduate Seminars - Department of Psychiatry
https://www.psychiatry.cam.ac.uk/students/current-students/phd-students/postgraduate-seminars/Lectures will be given by Peter Watson and take place on Thursdays from 11:00-12:00 in the West Wing Lecture Theatre. -
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. -
The Trinity Clock
https://clock.trin.cam.ac.uk/main.php?menu_option=data&date=18/05/2011SPICE visit: Chris Burgoyne, Hilary Costello, Tony Cox, Peter Davidson, Simon Driscoll, Pru Foster, Don Grainger, Jim Haywood, Hugh Hunt, James McGregor, Thao Do, Daniel Peters, Francis Pope, Chris Walton, Peter ... Braesicke, Alessio Bozzo, Matt Watson, -
Position Paper:Defending Direct Memory Access with CHERI Capabilities
https://www.cl.cam.ac.uk/~atm26/pubs/2020cheri-dma.pdf21 Oct 2020: 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. -
Reporter Special 7/10/99: St John's College
https://www.reporter.admin.cam.ac.uk/reporter/1999-2000/special/04/25.html29 Nov 2011: 1961. WATSON George Grimes MA. 1963. CHARLES James Anthony BSC ARSM MA SCD FRENG. ... 1980. MIDGLEY David Robin DPHIL PHD. CLARKE Peter Frederick MA PHD LITTD FBA. -
CHAPTER XII : TRUSTS - FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS,…
https://www.reporter.admin.cam.ac.uk/univ/so/2017/chapter12-section2.html7 Nov 2017: Statutes and Ordinances of the University of Cambridge. Preceding: Chapter XI. Following:CHAPTER XII. pp. 764–1024. TRUSTS. Previous section:Section 2. FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS, ETC.pp. 764–1024. FUNDS, STUDENTSHIPS, PRIZES, -
Department of Computer Science and Technology – Course pages 2023–24: …
https://www.cl.cam.ac.uk/teaching/2324/R209/materials.html10 Oct 2023: Please contact the module instructors if you have any questions. Adversarial reasoning (5 October 2023 - Anderson, 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-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
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.