/

Workspace

Research & Review

Writing & Publishing

Data & Analysis

Utilities

Account

User Settings

T

Thomas Bauereiß

University of Cambridge(GB)

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

19

Papers

223

Citations

6

h-index

4

i10-index

Thomas Bauereiß is an academic researcher from University of Cambridge. The author has contributed to research in topics: Security and Verification in Computing & Access Control and Trust & Advanced Malware Detection Techniques. The author has an h-index of 6, co-authored 17 publications.

ORCID: 0000-0001-9607-8942

Research Topics

Security and Verification in Computing Access Control and Trust Advanced Malware Detection Techniques Logic, programming, and type systems Distributed systems and fault tolerance

Papers by this author

works

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS

2019 · Proceedings of the ACM on Programming Languages · 111 citations

https://doi.org/10.1145/3290384

Alasdair Armstrong Thomas Bauereiß B. K. Campbell Alastair Reid

Verified Security for the Morello Capability-enhanced Prototype Arm Architecture

2022 · Lecture notes in computer science · 25 citations

https://doi.org/10.1007/978-3-030-99336-8_7

Thomas Bauereiß B. K. Campbell Thomas Sewell Alasdair Armstrong

Research topics

topics

Security and Verification in Computing

Access Control and Trust

Advanced Malware Detection Techniques

Logic, programming, and type systems

Distributed systems and fault tolerance

Chat about Author

Papers

Chat

Click to start Chat