Search

22 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.

23 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.

22 Feb 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,

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

16 Jul 2024: and distributed programs|Robert Charles Beaumont Cooper|111|phd=Churchill College,1987-12 129|1988-03|A methodology for automated design of computer instruction sets|Jeremy Peter Bennett|147|phd=Emmanuel ... a distributed system|Roy

23 May 2024: 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.

31 Jan 2013: Statutes and Ordinances of the University of Cambridge. Preceding: Chapter XI. Following:CHAPTER XII. pp. 752–1000. TRUST EMOLUMENTS. Previous section:Section 2. FUNDS, STUDENTSHIPS, PRIZES, LECTURESHIPS, ETC. detailed here]. GENERAL REGULATIONS

16 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.

15 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.

2 Nov 2023: 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.

23 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.

18 Aug 2023: Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary,. ... M. Watson, and Peter Sewell. Verified Security for the Morello Capability-enhanced Prototype Arm Architecture, 31st European Symposium on Programming (ESOP 2022),

18 Jul 2024: This was followed by a presentation by Peter Watson (Allen & Overy) on the proposed judicial guide to the Cape Town Convention, and a panel discussing the challenges involved in the establishment

SPICE 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,

28 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.

27 Nov 2023: Technical ReportNumber 1. Computer Laboratory. UCAM-CL-TR-1ISSN 1476-2986. The JACKDAW database package. M.F. Challis. October 1974. 15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone 44 1223 763500. https://www.cl.cam.ac.uk/. 1974 M.F.

28 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.

winding 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.

12 Oct 2020: 1977-78  Hare, Nicholas (University Lecturer, 1978). 1978-83  Jones, Peter Martin Blundell. ... 1980-83  Holland, Peter David (University Lecturer, 1983). 1981-85  Chothia, Jean Kathleen.

7 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

29 Nov 2011: Tomkinson, Christopher David. Turner, Claire Louise. Walch, Jamie Peter. Watson, Benjamin Turquand. ... Carim, Lara Jemila. Cawley, Laurence Peter. Clarke, Graham Michael Minchin. Dickson, Jonathan David.

28 Apr 2020: Theodore Markettos,. Alfredo Mazzinghi, Robert M. Norton, Michael Roe, Peter Sewell, Stacey Son,Timothy M. ... Jones, Simon W. Moore, Peter G. Neumann,† Robert N. M. WatsonUniversity of Cambridge, Cambridge, UK; †SRI International, Menlo Park, CA, USA

29 Nov 2011: Botting, Joseph Peter. Bridgett, Adrian Paul. Brown, Sarah Jane Louise. Buckley, Juliet Iona. ... Doctor of Philosophy. Aberle, Marcus. Watson, Robert Peter. Master of Philosophy.

18 Feb 2022: Theodore Markettos,. Alfredo Mazzinghi, Robert M. Norton, Michael Roe, Peter Sewell, Stacey Son,Timothy M. ... Jones, Simon W. Moore, Peter G. Neumann,† Robert N. M. WatsonUniversity of Cambridge, Cambridge, UK; †SRI International, Menlo Park, CA, USA

23 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,

18 Feb 2022: HASP’20, October 2020, Online A. Theodore Markettos, John Baldwin, Ruslan Bukin, Peter G. ... Becuase. HASP’20, October 2020, Online A. Theodore Markettos, John Baldwin, Ruslan Bukin, Peter G.

2 May 2024: Theodore Markettos, Alfredo Mazzinghi, Robert M. Norton, Michael Roe, Peter Sewell, Stacey Son, Timothy M. ... Hongyan Xia, Jonathan Woodruff, Sam Ainsworth, Nathaniel W. Filardo, Michael Roe, Alexander Richardson, Peter Rugg, Peter G.

7 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,

14 Jul 2023: PDF (0.2 MB). BibTeX record. @TechReport{UCAM-CL-TR-982, author = {Watson, Robert N. M. ... and Barnes, Graeme and Clarke, Jessica and Grisenthwaite, Richard and Sewell, Peter and Moore, Simon W.

18 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.

16 Jul 2024: Peter Mandler, CAI, 2024; Dr James Bellingham, JE, Prof. Emily Gowers, JN, Ms Catherine Reid, Lord Smith of Finsbury, PEM, 2026; Dr Sue Jones, 2027; [elected by University Officers in the ... Emily Gowers, JN, Prof. Joan Lasenby, T, Mr Richard

30 Nov 2018: 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.

17 Jun 2024: Security Group. All seminars. 2024. 11 June 14:00How Misinformation Creators (Ab)use Generative AI Tools / Amelia (Mia) Hassoun, University of Cambridge. Computer Lab, FW11. Advances in generative AI (GenAI) have raised concerns about detecting and

18 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 =

23 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 =

7 Feb 2018: CHERI): Notes on theMeltdown and Spectre Attacks. Robert N. M. Watson, Jonathan Woodruff,Michael Roe, Simon W. ... Moore,. Peter G. Neumann. February 2018. 15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone 44 1223 763500.

18 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

24 Apr 2018: Galton–Watson trees with vanishing martingale limit. ... Nathanael Berestycki, Nina Gantert, Peter Moerters, Nadia Sidorova. J. Stat. Phys.

22 Feb 2024: Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Peter G. ... What CHERI-aware software will Morello run? The following slide from Robert Watson (Cambridge)'s slides from the DSbD workshop illustrate the rough anticipated software stack to be

10 Jul 2023: The project is led by Dr Peter Neumann (SRI) and Dr Robert Watson (Cambridge). ... Dr Robert N.M. Watson (Principal Investigator). Hesham Almatary (PhD student). Ruslan Bukin (research engineer).

29 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

Senior electrophysiologist at Metrion Biosciences)/liliJake Watson (Post-doc in Jonas lab at IST Austria)/liliBianka Kohegyi/liliPeter Matthews (Electrophysiologist at Metrion Biosciences)/liliJan-Niklas Dohrke (PhD student at MPI ... at Metrion

18 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

18 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

18 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,

4 Oct 2023: Robert N. M. Watson, Peter G. Neumann, Jonathan Woodru, Michael Roe, HeshamAlmatary, Jonathan Anderson, John Baldwin, Graeme Barnes, David Chisnall, Jessica Clarke,Brooks Davis, Lee Eisen, Nathaniel Wesley Filardo, Richard Grisenthwaite, ... Robert N. M.

23 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,

Other 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

23 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.

23 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.