Old Web
English
Sign In
Acemap
>
authorDetail
>
Thomas Bauereiss
Thomas Bauereiss
University of Cambridge
Computer science
Programming language
Soundness
Executable
RISC-V
2
Papers
41
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
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)
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)
1