Andrew Martin

Cited by

	All	Since 2018
Citations	4516	1661
h-index	30	20
i10-index	68	32

400

200

100

300

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202330 30 30 13 37 29 29 107 162 178 158 170 192 178 214 258 244 221 251 217 235 291 344 391 380 16

Public access

View all

14 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Carl ChristensenStanford University, Oxford UniversityVerified email at atm.ox.ac.uk
Tolu AinaUniversity of OxfordVerified email at framestore.com
David StainforthLondon School of EconomicsVerified email at lse.ac.uk
Andrew PaverdMicrosoftVerified email at microsoft.com
Dave FrameUniversity of CanterburyVerified email at canterbury.ac.nz
John LyleDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Wattana ViriyasitavatDepartment of Statistics, Chulalongkorn Business School, Faculty of Commerce and AccountancyVerified email at cbs.chula.ac.th
Andrew SimpsonUniversity Lecturer in Software Engineering, Department of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Matthew CollinsUniversity of ExeterVerified email at exeter.ac.uk
Ahmad Atamli (Atamli)University of OxfordVerified email at cs.ox.ac.uk
Pardeep kumarSwansea UniversityVerified email at swansea.ac.uk
Anbang RuanDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Ian BrownResearch ICT AfricaVerified email at researchictafrica.net
Jin Song DongProfessor of Computer Science, National University of SingaporeVerified email at nus.edu.sg
Ravishankar BorgaonkarResearch Fellow, University of OxfordVerified email at cs.ox.ac.uk
Olusola AkinrolabuUniversity of Oxford, Computer Science DepartmentVerified email at kellogg.ox.ac.uk
Jun Ho HuhSamsung Research, Samsung ElectronicsVerified email at samsung.com
David C. H. WallomUniversity of OxfordVerified email at oerc.ox.ac.uk
Mark UttingThe University of QueenslandVerified email at uq.edu.au
Awais RashidProfessor, Department of Computer Science, University of Bristol, UKVerified email at bristol.ac.uk

Andrew Martin

Professor of Systems Security, University of Oxford

Verified email at cs.ox.ac.uk - Homepage

Information Security Trusted Computing grid cloud computing formal methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Uncertainty in predictions of the climate response to rising levels of greenhouse gases DA Stainforth, T Aina, C Christensen, M Collins, N Faull, DJ Frame, ... Nature 433 (7024), 403-406, 2005	1411	2005
Threat-based security analysis for the internet of things AW Atamli, A Martin 2014 International Workshop on Secure Internet of Things, 35-43, 2014	211	2014
Smart grid metering networks: A survey on security, privacy and open research issues P Kumar, Y Lin, G Bai, A Paverd, JS Dong, A Martin IEEE Communications Surveys & Tutorials 21 (3), 2886-2927, 2019	186	2019
Using propositional logic for requirements verification of service workflow L Da Xu, W Viriyasitavat, P Ruchikachorn, A Martin IEEE Transactions on Industrial Informatics 8 (3), 639-646, 2012	122	2012
Association of parameter, software, and hardware variation with large-scale behavior across 57,000 climate models CG Knight, SHE Knight, N Massey, T Aina, C Christensen, DJ Frame, ... Proceedings of the National Academy of Sciences 104 (30), 12259, 2007	114	2007
SWSpec: The requirements specification language in service workflow environments W Viriyasitavat, L Da Xu, A Martin IEEE Transactions on Industrial Informatics 8 (3), 631-638, 2012	111	2012
Modelling and automatically analysing privacy properties for honest-but-curious adversaries A Paverd, A Martin, I Brown Tech. Rep, 2014	109	2014
Trust in the Cloud IM Abbadi, A Martin information security technical report 16 (3-4), 108-114, 2011	107	2011
Lightweight authentication and key agreement for smart metering in smart energy networks P Kumar, A Gurtov, M Sain, A Martin, PH Ha IEEE Transactions on Smart Grid 10 (4), 4349-4359, 2018	98	2018
Trusted computing and provenance: Better together J Lyle, A Martin Usenix, 2010	75	2010
The ten-page introduction to Trusted Computing A Martin	74	2008
A set-theoretic model for real-time specification and reasoning CJ Fidge, IJ Hayes, AP Martin, AK Wabenhorst Mathematics of Program Construction: 4th International Conference, MPC'98 …, 1998	69	1998
A survey of trust in workflows and relevant contexts W Viriyasitavat, A Martin IEEE Communications Surveys & Tutorials 14 (3), 911-940, 2011	68	2011
Security principles for public-resource modeling research D Stainforth, A Martin, A Simpson, C Christensen, J Kettleborough, T Aina, ... 13th IEEE International Workshops on Enabling Technologies: Infrastructure …, 2004	66	2004
myTrustedCloud: trusted cloud infrastructure for security-critical computation and data management D Wallom, M Turilli, A Martin, A Raun, G Taylor, N Hargreaves, ... Proceedings of the WICSA/ECSA 2012 Companion Volume, 82-83, 2012	58	2012
Security and privacy in smart grid demand response systems A Paverd, A Martin, I Brown Smart Grid Security: Second International Workshop, SmartGridSec 2014 …, 2014	55	2014
A tactic calculus—abridged version AP Martin, PHB Gardiner, JCP Woodcock Formal Aspects of Computing 8, 479-489, 1996	54	1996
Scoping the cyber security body of knowledge A Rashid, G Danezis, H Chivers, E Lupu, A Martin, M Lewis, C Peersman IEEE Security & Privacy 16 (3), 96-102, 2018	53	2018
Hardware security for device authentication in the smart grid AJ Paverd, AP Martin Smart Grid Security: First International Workshop, SmartGridSec 2012, Berlin …, 2013	49	2013
Exploring the use of Intel SGX for secure many-party applications KA Küçük, A Paverd, A Martin, N Asokan, A Simpson, R Ankele Proceedings of the 1st Workshop on System Software for Trusted Execution, 1-6, 2016	45	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors