Search

Search Funnelback University

Search powered by Funnelback
10 results 20 results 50 results
Relevance Date (Newest first) Date (Oldest first) Title (A-Z) Title (Z-A) Distance URL (A-Z) URL (Z-A) Shuffle
21 - 30 of 1,257 search results for `Robert Watson`

  1. Fully-matching results

  2. Department of Computer Science and Technology – Security Group: People

    https://www.cl.cam.ac.uk/research/security/people/
    17 Jul 2024: stolen data in underground marketplaces. Alfredo Mazzinghi (Watson). capability-based security, kernel memory protection, program analysis. ... Robert Watson, Alice Hutchings, Alastair Beresford, Frank Stajano, Ross Anderson, Markus Kuhn, Richard Clayton.

  3. Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …

    https://www.cl.cam.ac.uk/~pes20/recent.html
    23 May 2024: Richard Grisenthwaite, Graeme Barnes, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Jonathan Woodruff. ... Robert N. M. Watson, Peter Sewell, and William Martin. The Next Wave (The National Security Agency's review of emerging technologies), 4(1

  4. Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …

    https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri.html
    23 May 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... A. Theodore Markettos, Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Peter G.

  5. Equality, Diversity and Inclusion Committee | Department of Computer…

    https://www.cst.cam.ac.uk/local/committees/equality
    22 Jul 2024: Search site. Department of Computer Science and Technology. Equality, Diversity and Inclusion Committee. Previously known as the Athena SWAN Panel). The Equality, Diversity and Inclusion Committee (ED&I) meets to guide the Department's application

  6. Department of Computer Science and Technology – Technical reports:…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-table.html
    16 Jul 2024: Rebecca F. Watson. 2009-03. PhD. 145 p. ... Robert J. Ennals. 2008-08. PhD. 243 p.

  7. George Neville-Neil | Department of Computer Science and Technology

    https://www.cst.cam.ac.uk/people/gn264
    22 Jul 2024: He is the author of The Kollected Kode Vicious and co-author with Marshall Kirk McKusick and Robert N. ... M. Watson of The Design and Implementation of the FreeBSD Operating System_.

  8. Kayvan Memarian

    https://www.cl.cam.ac.uk/~km569/
    21 Apr 2024: 7]Kayvan Memarian, Victor B. F. Gomes, Brooks Davis, Stephen Kell, Alexander Richardson, Robert N. M. Watson, and Peter Sewell. ... Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson and

  9. https://www.cl.cam.ac.uk/techreports/tr-database.txt

    https://www.cl.cam.ac.uk/techreports/tr-database.txt
    16 Jul 2024: Paulson lp15|140| 81|1985-12|The implementation of functional languages using custom hardware|William Robert Stoye|151|phd=Magdalene College,1985-05 82|1985-12|Natural deduction proof as ... 119|1987-07|Pilgrim: a debugger for distributed systems|Robert

  10. Computer Laboratory: Dr A. Theodore Markettos

    https://www.cl.cam.ac.uk/~atm26/
    22 Nov 2022: Moore, Robert N.M. Watson. Position Paper: Defending Direct Memory Access with CHERI Capabilities. ... Xi'an, China, April 8–12, 2017. (PDF). Robert N.M. Watson, Robert M.

  11. Department of Computer Science and Technology – Technical reports:…

    https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-authors.html
    16 Jul 2024: Technical reports. No. Title. Authors. Date. Notes. Download. Abadi, Martín. 138. Authentication: a practical study in belief and action. Michael Burrows, Martín Abadi, Roger Needham. 1988-06. 19 p. A calculus for cryptographic protocols : The

Refine your results

Format

Date

Related searches for `Robert Watson`

By type

By topic

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.