Old Web
English
Sign In
Acemap
>
authorDetail
>
Robert Norton
Robert Norton
University of Cambridge
Computer science
Instruction set
Correctness
Software
Operating system
5
Papers
62
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS
2019
POPL | Symposium on Principles of Programming Languages
Alasdair Armstrong
Thomas Bauereiss
Brian Campbell
Alastair Reid
Kathryn E. Gray
Robert Norton
Prashanth Mundkur
Mark Wassell
Jon French
Christopher Pulte
Shaked Flur
Ian Stark
Neelakantan R. Krishnaswami
Peter Sewell
Show All
Source
Cite
Save
Citations (34)
CHERI Concentrate: Practical Compressed Capabilities
2019
IEEE Transactions on Computers
Jonathan Woodruff
Alexandre Joannou
Hongyan Xia
Anthony Fox
Robert Norton
David Chisnall
Brooks Davis
Khilan Gudka
Nathaniel Wesley Filardo
A. Theodore Markettos
Michael Roe
Peter G. Neumann
Robert N. M. Watson
Simon W. Moore
Show All
Source
Cite
Save
Citations (12)
Rigorous engineering for hardware security: formal modelling and proof in the CHERI design and implementation process
2019
S&P | IEEE Symposium on Security and Privacy
Kyndylan Nienhuis
Alexandre Joannou
Thomas Bauereiss
Anthony Fox
Michael Roe
Brian Campbell
Matthew Naylor
Robert Norton
Simon W. Moore
Peter G. Neumann
Ian Stark
Robert N. M. Watson
Peter Sewell
Show All
Source
Cite
Save
Citations (7)
Capability Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture (Version 7)
2018
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
Simon W. Moore
Steven J. Murdoch
Kyndylan Nienhuis
Robert Norton
Alex Richardson
Peter Sewell
Stacey Son
Hongyan Xia
Show All
Source
Cite
Save
Citations (9)
The CHERI capability model: revisiting RISC in an age of risk
2014
ISCA | International Symposium on Computer Architecture
Jonathan Woodruff
Robert N. M. Watson
David Chisnall
Simon W. Moore
Jonathan Anderson
Brooks Davis
Ben Laurie
Peter G. Neumann
Robert Norton
Michael Roe
Show All
Source
Cite
Save
Citations (0)
1