Concepedia

Grant Olney Passmore

GO

1

Publications

13

Citations

1

H-Index

2017

Active since

Affiliations

University of Cambridge(Current)

Grant Olney Passmore is an author at University of Cambridge specializing in data security, cryptography, and verification.

Top concepts

Publications per year

2017–2017

1

Publications

1

Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL

Wenda Li, Grant Olney Passmore, Lawrence C. Paulson · Journal of Automated Reasoning · 2017 · 13 citations · Full text

, , +8

Rows per page

1–1 of 1