/

Workspace

Research & Review

Writing & Publishing

Data & Analysis

Utilities

Account

User Settings

T

Thomas Sewell

University of Oxford(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.

38

Papers

2.9K

Citations

16

h-index

22

i10-index

Thomas Sewell is an academic researcher from University of Oxford. The author has contributed to research in topics: Security and Verification in Computing & Logic, programming, and type systems & Distributed systems and fault tolerance. The author has an h-index of 16, co-authored 33 publications.

ORCID: 0000-0002-4891-0797

Research Topics

Security and Verification in Computing Logic, programming, and type systems Distributed systems and fault tolerance Formal Methods in Verification Advanced Malware Detection Techniques

Papers by this author

works

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

Logic, programming, and type systems

Distributed systems and fault tolerance

Formal Methods in Verification

Advanced Malware Detection Techniques

Chat about Author

Papers

Chat

Click to start Chat