Search

Search Funnelback University

Search powered by Funnelback
1 - 10 of 21 search results for `John Watson`
  1. Fully-matching results

  2. 22 May 2024: Moore, Alex Bradbury, Hongyan Xia, Robert N. M. Watson, David Chisnall, Michael Roe, Brooks Davis, Edward Napierala, John Baldwin, Khilan Gudka, Peter G. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan
  3. Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …

    https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri.html
    23 May 2024: Robert N. M. Watson, Alexander Richardson, Brooks Davis, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Filardo, Simon W. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John
  4. Computer Laboratory: Résumé for Professor Simon Moore

    https://www.cl.cam.ac.uk/~swm11/resume/index.html
    23 Jun 2024: M. Watson Robert Norton, Jonathan Woodruff, Alexandre Joannou, Simon W. Moore, Peter G. ... M. Watson. Thunderclap: Exploring Vulnerabilities in Operating-System IOMMU Protection from Untrustworthy Peripherals.
  5. ELVER

    https://www.cl.cam.ac.uk/~pes20/index-elver.html
    23 May 2024: Robert N. M. Watson, Alexander Richardson, Brooks Davis, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Filardo, Simon W. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John
  6. Peter Sewell: group bibliography by date

    https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2.html
    23 May 2024: Robert N. M. Watson, Alexander Richardson, Brooks Davis, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Filardo, Simon W. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John
  7. Peter Sewell: group bibliography, by topic

    https://www.cl.cam.ac.uk/~pes20/papers/topics.html
    23 May 2024: Robert N. M. Watson, Alexander Richardson, Brooks Davis, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Filardo, Simon W. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John
  8. Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …

    https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri_abstracts.html
    23 May 2024: Robert N. M. Watson, Alexander Richardson, Brooks Davis, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Filardo, Simon W. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John
  9. Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …

    https://www.cl.cam.ac.uk/~pes20/elver_abstracts.html
    23 May 2024: Robert N. M. Watson, Alexander Richardson, Brooks Davis, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Filardo, Simon W. ... Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John
  10. Department of Computer Science and Technology: EuroSys 2016 - CHERI…

    https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/workshops/2016eurosys/
    1 May 2024: Robert N. M. Watson (University of Cambridge). Simon W. Moore (University of Cambridge). ... John Redford (Broadcom). 2016-2021 Robert N. M. Watson. Information provided by Robert Watson.
  11. Alastair Beresford---Curriculum Vitae

    https://www.cl.cam.ac.uk/~arb33/cv/
    27 May 2024: Jointly with Prof. Anderson and Dr Watson. (2014--2018). Further Java a second-year course teaching the Java language. ... 23 Jeremy Cohen, Robin North, Steven Wilkins, John Darlington, Yike Guo, Neil Hoose, Yajie Ma, John Polak, Visalakshmi Suresh, Paul

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.