> Details

University of Cambridge Computer Laboratory

Technical report

Reference
management

Direct link

Bookmarks

Remove from
bookmarks

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Export RIS Export BibTeX Export EndNote

Bookmarks

Media type: Electronic Serial; Monograph Series
Title: Technical report
Corporation: University of Cambridge, Computer Laboratory
Published: Cambridge: University of Cambridge, Computer Laboratory, [2005?]-
Publication information: Number 612 [?]-
Language: English
Keywords: Monografische Reihe
Origination:
Footnote:
Access State: Open Access

> Publishers' series

Rugg, Peter David [Author]
Efficient spatial and temporal safety for microcontrollers and application-class processors Peter David Rugg
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, July 2023

Agrawal, Sharan S. [Author]
Scalable agent-based models for optimized policy design: applications to the economics of biodiversity and carbon Sharan S. Agrawal
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, August 2023

Watson, Robert N. M. [Author]; Clarke, Jessica [Author]; Sewell, Peter [Author]; Woodruff, Jonathan [Author]; Moore, Simon W. [Author]; Barnes, Graeme [Author]; Grisenthwaite, Richard [Author]; Stacer, Kathryn [Author]; Baranga, Silviu [Author]; Richardson, Alexander [Author]
Early performance results from the prototype Morello microarchitecture Robert N.M. Watson, Jessica Clarke, Peter Sewell, Jonathan, Woodruff, Simon W. Moore, Graeme Barnes, Richard Grisenthwaite, Kathryn Stacer, Silviu Baranga, Alexander Richardson
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, September 2023

Watson, Robert N. M. [Author]; Barnes, Graeme [Author]; Clarke, Jessica [Author]; Grisenthwaite, Richard [Author]; Sewell, Peter [Author]; Moore, Simon W. [Author]; Woodruff, Jonathan [Author]
Arm Morello programme: architectural security goals and known limitations Robert N.M. Watson, Graeme Barnes, Jessica Clarke, Richard Grisenthwaite, Peter Sewell, Simon W. Moore, Jonathan Woodruff
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, July 2023

Guo, Xuan [Author]
Efficient virtual cache coherency for multicore systems and accelerators Xuan Guo
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, February 2023

Maas, Marno van der [Author]
Protecting enclaves from side-channel attacks through physical isolation Marno van der Maas
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, March 2023

Memarian, Kayvan [Author]
The Cerberus C semantics Kayvan Memarian
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, May 2023

Bada, Maria [Author]; Hutchings, Alice [Author]; Papadodimitraki, Yanna [Author]; Clayton, Richard [Author]
An evaluation of police interventions for cybercrime prevention Maria Bada, Alice Hutchings, Yanna Papadodimitraki, Richard Clayton
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, July 2023

Jindal, Akshay [Author]
Motion quality models for real-time adaptive rendering Akshay Jindal
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, January 2023

Fraser, Alexander G. [Author] ; Fraser, Elisabeth [Editor]
A next generation internet architecture Alexander G. Fraser ; edited by Elisabeth Fraser and foreword by Anil Madhavapeddy and David J. Scott
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, February 2023

Los, Dimitrios [Author]
Balanced allocations under incomplete information: new settings and techniques Dimitrios Los
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, November 2023

Zaliva, Vadim [Author]; Memarian, Kayvan [Author]; Almeida, Ricardo [Author]
CHERI C semantics as an extension of the ISO C17 standard Vadim Zaliva, Kayvan Memarian, Ricardo Almeida [und 8 weitere]
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, October 2023

Azevedo, Tiago M. L. [Author]
Data-driven representations in brain science: modelling approaches in gene expression and neuroimaging domains Tiago M.L. Azevedo
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, July 2022

Orton, Indigo J. D. [Author]
Dynamic analysis for concurrency optimisation Indigo J.D. Orton
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, August 2022

Stockdill, Aaron [Author]
Automating representation change across domains for reasoning Aaron Stockdill
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, June 2022

Almatary, Hesham [Author]
CHERI compartmentalisation for embedded systems Hesham Almatary
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, November 2022

Kleppmann, Martin [Author]
Assessing the understandability of a distributed algorithm by tweeting buggy pseudocode Martin Kleppmann
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, May 2022

Verő, Anita L. [Author]
Transparent analysis of multi-modal embeddings Anita L. Verő
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, May 2022

Guo, Xuan [Author]; Bates, Daniel [Author]; Mullins, Robert [Author]; Bradbury, Alex [Author]
Muntjac multicore RV64 processor: introduction and microarchitectural guide Xuan Guo, Daniel Bates, Robert Mullins, Alex Bradbury
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, June 2022

Gutstein, Brett [Author]
Memory safety with CHERI capabilities: security analysis, language interpreters, and heap temporal safety Brett Gutstein
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, November 2022

Fabiani, Primoz̆ [Author]
Gaussian Pixie Autoencoder: introducing functional distributional semantics to continuous latent spaces Primoz̆ Fabiani
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, January 2022

Thorne, James [Author]
Evidence-based verification and correction of textual claims James Thorne
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, February 2022

Dodson, Michael G. [Author]
Capability-based access control for cyber physical systems Michael G. Dodson
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, October 2021

Saribekyan, Hayk [Author]
Information dissemination via random walks Hayk Saribekyan
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, November 2021

Vargas, Francisco [Author]
Machine-learning approaches for the empirical Schrödinger bridge problem Francisco Vargas
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, June 2021

Nam, Myoung Jin [Author]
Inline and sideline approaches for low-cost memory safety in C Myoung Jin Nam
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, February 2021

Xia, Hongyan [Author]
Capability memory protection for embedded systems Hongyan Xia
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, February 2021

Bauereiss, Thomas [Author]
Verified security for the Morello capability-enhanced prototype Arm architecture Thomas Bauereiss, Brian Campbell, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. M. Watson, Peter Sewell
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, September 2021

Esswood, Lawrence G. [Author]
CheriOS: designing an untrusted single-address-space capability operating system utilising capability hardware and a minimal hypervisor Lawrence G. Esswood
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, September 2021

Manousakas, Dionysis [Author]
Data summarizations for scalable, robust and privacy-aware learning in high dimensions Dionysis Manousakas
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, September 2021

Bell-Thomas, Harri [Author]
Trusted reference monitors for Linux using Intel SGX enclaves Harri Bell-Thomas
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, October 2021

Fisher, Daniel M. [Author]; Crowcroft, Jon A. [Author]
Improving commercial LiFi network feasibility through rotation invariance, motion prediction, and bandwidth aggregation at the physical layer Daniel M. Fisher, Jon A. Crowcroft
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, November 2021

Zhao, Jianxin [Author]
Optimisation of a modern numerical library: a bottom-up approach Jianxin Zhao
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, April 2021

Oliver, Helen [Author]
Obstacles to wearable computing Helen Oliver
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, Dezember 2021

Adeboye, David [Author]
Exploring the effect of spatial faithfulness on group decision-making David Adeboye
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, October 2020

Watson, Robert N. M. [Author]; Woodruff, Jonathan [Author]; Joannou, Alexandre [Author]; Moore, Simon W. [Author]; Sewel, Peter [Author]
DSbD CHERI and Morello capability essential IP (Version 1) Robert N.M. Watson, Jonathan Woodruff, Alexandre Joannou, Simon W. Moore, Peter Sewell, Arm Limited
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, December 2020

Watson, Robert N.M [Author]; Neumann, Peter G. [Author]; Woodruff, Jonathan [Author]; Roe, Michael [Author]; Almatary, Hesham [Author]; Anderson, Jonathan [Author]
Capability hardware enhanced RISC instructions: CHERI instruction-set architecture (version 8) Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John Baldwin, Graeme Barnes, David Chisnall, Jessica Clarke, Brooks Davis, Lee Eisen, Nathaniel Wesley Filardo, Richard Grisenthwaite [und 12 weitere]
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, October 2020

Paquet, Hugo [Author]
Probabilistic concurrent game semantics Hugo Paquet
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, August 2020

Honeypots in the age of universal attacks and the Internet of Things Alexander Vetterl
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, February 2020

Grosvenor, Mathew P. [Author]
Latency-First datacenter network scheduling Mathew P. Grosvenor
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, January 2020

Kuhnle, Alexander [Author]
Evaluating visually grounded language capabilities using microworlds Alexander Kuhnle
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, January 2020

Richardson, Alexander [Author]
Complete spatial safety for C and C++ using CHERI capabilities Alexander Richardson
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, June 2020

Schaarschmidt, Michael [Author]
End-to-end deep reinforcement learning in computer systems Michael Schaarschmidt
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, April 2020

Watson, Robert N. M. [Author]; Richardson, Alexander [Author]; Davis, Brooks [Author]; Baldwin, John [Author]; Chisnall, David [Author]; Clarke, Jessica [Author]; Filardo, Nathaniel [Author]; Moore, Simon W. [Author]; Napierala, Edward [Author]; Sewell, Peter [Author]; Neumann, Peter G. [Author]
CHERI C/C++ programming guide Robert N. M. Watson, Alexander Richardson, Brooks Davis, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Filardo, Simon W. Moore, Edward Napierala, Peter Sewell, Peter G. Neumann
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, June 2020

Conway, Maxwell Jay [Author]
Machine learning methods for detecting structure in metabolic flow networks Maxwell Jay Conway
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, March 2020

McDermott, Dylan [Author]
Reasoning about effectful programs and evaluation order Dylan McDermott
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, June 2020

Joannou, Alexandre [Author]
High-performance memory safety: optimizing the CHERI capability machine Alexandre J.P. Joannou
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, May 2019

Howard, Heidi [Author]
Distributed consensus revised Heidi Howard
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, April 2019

Watson, Robert N.M [Author]; Moore, Simon W. [Author]; Sewell, Peter [Author]; Neumann, Peter G. [Author]
An introduction to CHERI Robert N.M. Watson, Simon W. Moore, Peter Sewell, Peter G. Neumann
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, September 2019

Nienhuis, Kyndylan [Author]; Joannou, Alexandre [Author]; Fox, Anthony [Author]; Roe, Michael [Author]; Bauereiss, Thomas [Author]; Campbell, Brian [Author]; Naylor, Matthew [Author]; Norton, Robert M. [Author]; Moore, Simon W. [Author]; Neumann, Peter G. [Author]; Stark, Ian [Author]; Watson, Robert N.M [Author]; Sewell, Peter [Author]
Rigorous engineering for hardware security: formal modelling and proof in the CHERI design and implementation process Kyndylan Nienhuis, Alexandre Joannou, Anthony Fox, Michael Roe, Thomas Bauereiss, Brian Campbell, Matthew Naylor, Robert M. Norton, Simon W. Moore, Peter G. Neumann, Ian Stark, Robert N. M. Watson, Peter Sewell
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, September 2019

Yu, Christine Guo [Author]
Effects of timing on users' perceived control when interacting with intelligent systems Christine Guo Yu
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, August 2019

Popescu, Diana Andreea [Author]
Latency-driven performance in data centres Diana Andreea Popescu
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, June 2019

Bryant, Christopher [Author]
Automatic annotation of error types for grammatical error correction Christopher Bryant
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, June 2019

Davis, Brooks [Author]; Watson, Robert N. M. [Author]; Richardson, Alexander [Author]
CheriABI: enforcing valid pointer provenance and minimizing pointer privilege in the POSIX C run-time environment Brooks Davis, Robert N.M. Watson, Alexander Richardson [und 18 weitere]
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, April 2019

Zilberman, Noa [Author]
An evaluation of NDP performance Noa Zilberman
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, January 2019

Soman, Jyothish [Author]
A performance-efficient and practical processor error recovery framework Jyothish Soman
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, January 2019

Watson, Robert N. M. [Author]; Neumann, Peter G. [Author]; Woodruff, Jonathan [Author]
Capability Hardware Enhanced RISC Instructions: CHERI instruction-set architecture (version 7) Robert N.M. Watson, Peter G. Neumann, Jonathan Woodruff [und 19 weitere]
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, June 2019

Pal, Ranjan [Author]; Crowcroft, Jon [Author]; Kumar, Abhishek [Author]
Privacy markets in the Apps and IoT age Ranjan Pal, Jon Crowcroft, Abhishek Kumar [und 6 weitere]
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, September 2018

Stajano, Frank [Author]; Rymer, Graham [Author]; Houghton, Michelle [Author]
Raising a new generationof cyber defenders Frank Stajano, Graham Rymer, Michelle Houghton
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, June 2018

Neville-Neil, George [Author]; Anderson, Jonathan [Author]; Jenkinson, Graeme [Author]
OpenDTrace Specification version 1.0 George Neville-Neil, Jonathan Anderson, Graeme Jenkinson [und 4 weitere]
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, August 2018

Botinčan, Matko [Author]
Formal verification-driven parallelisation synthesis Matko Botinčan
Cambridge: University of Cambridge, Computer Laboratory, March 2018

Carata, Lucian [Author]
Provenance-based computing Lucian Carata
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, December 2018

Pal, Ranjan [Author]; Psounis, Konstantinos [Author]; Kumar, Abhishek [Author]
Are cyber-blackouts in service networks likely?: implications for cyber risk management Ranjan Pal, Konstantinos Psounis, Abhishek Kumar [und 6 weitere]
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, October 2018

Sarkar, Advait [Author]
Interactive analytical modelling Advait Sarkar
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, May 2018

Tsipenyuk, Gregory Y. [Author]
Evaluation of decentralized email architecture and social network analysis based on email attachment sharing Gregory Y. Tsipenyuk
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, March 2018

Watson, Robert N. M. [Author]; Woodruff, Jonathan [Author]; Roe, Michael [Author]; Moore, Simon W. [Author]; Neumann, Peter G. [Author]
Capability Hardware Enhanced RISC Instructions (CHERI): notes on the Meltdown and Spectre attacks Robert N.M. Watson, Jonathan Woodruff, Michael Roe, Simon W. Moore, Peter G. Neumann
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, February 2018

Baqer, Khaled [Author]
Resilient payment systems Khaled Baqer
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, November 2018

Zilberman, Noa [Author]; Dudziak, Łukasz [Author]; Jadczak, Matthew [Author]; Parks, Thomas [Author]; Rietmann, Alessandro [Author]; Safronov, Vadim [Author]; Zuo, Daniel [Author]
Cut-through network switches: architecture, design and implementation Noa Zilberman, Łukasz Dudziak, Matthew Jadczak, Thomas Parks, Alessandro Rietmann, Vadim Safronov and Daniel Zuo
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, November 2018

Ainsworth, Sam [Author]
Prefetching for complex memory access patterns Sam Ainsworth
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, July 2018

Moncaster, Toby [Author]
Optimising data centre operation by removing the transport bottleneck Toby Moncaster
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, June 2018

Caines, Andrew [Author]; Nicholls, Diane [Author]; Buttery, Paula [Author]
Annotating errors and disfluencies in transcriptions of speech Andrew Caines, Diane Nicholls, Paula Buttery
Cambridge, United Kingdom: University of Cambridge, Computer Laboratory, December 2017

Search in field:

Recently searched for: