Search
Search Funnelback University
- Refined by:
- Date: Past 6 months
1 -
10 of
27
search results for `Thomas Watson`
Fully-matching results
-
Peter Sewell
https://www.cl.cam.ac.uk/~pes20/23 May 2024: Christopher Pulte, Dhruv C. Makwana, Thomas Sewell, Kayvan Memarian, Peter Sewell, and Neel Krishnaswami. ... M. Watson, and Peter Sewell. In ESOP 2022. [ Relaxed virtual memory in Armv8-A. -
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/~pes20/papers/topic.cheri.html23 May 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. -
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and …
https://www.cl.cam.ac.uk/~pes20/recent.html23 May 2024: Christopher Pulte, Dhruv C. Makwana, Thomas Sewell, Kayvan Memarian, Peter Sewell, and Neel Krishnaswami. ... M. Watson, and Peter Sewell. In ESOP 2022. [ Relaxed virtual memory in Armv8-A. -
Contact the Alumni & Development Team - Trinity Hall Cambridge
https://www.trinhall.cam.ac.uk/alumni/contact-us/16 May 2024: Donna Thomas-Watson. Philanthropy Officer. e: donna.thomas-watson@trinhall.cam.ac.uk. -
Peter Sewell: group bibliography by date
https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2.html23 May 2024: Oskar Abrahamsson, Magnus O. Myreen, Ramana Kumar, and Thomas Sewell. In ITP 2022. [ ... Terpstra, Matt Thomas, Tommy Thorn, Caroline Trippel, Ray VanDeWalker, Muralidaran Vijayaraghavan, Megan Wachs, Andrew Waterman, Robert Watson, Derek Williams, -
ELVER
https://www.cl.cam.ac.uk/~pes20/index-elver.html23 May 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. -
Peter Sewell: group bibliography, by topic
https://www.cl.cam.ac.uk/~pes20/papers/topics.html23 May 2024: Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. ... Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. -
Department of Computer Science and Technology: CHERI Rigorous…
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-formal.html22 Feb 2024: M. Watson, and Peter Sewell. In ESOP 2022. [ CHERI C/C++ Programming Guide. ... Brooks Davis, Robert N. M. 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: Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. ... Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Shaked Flur, Kathryn E. Gray, Prashanth Mundkur, Robert M. -
Department of Computer Science and Technology – Security Group: 2002
https://www.cl.cam.ac.uk/research/security/seminars/archive/2002.html17 Jun 2024: 17 September 15:00Exploiting EM emanations and using templates for sidechannel attacks / JR Rao, IBM Thomas J. ... Watson Research Center, NY. Lecture Theatre 2, William Gates Building. In the first part of this talk, I will present results of a
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.