Andrew Martin

Cited by

	All	Since 2016
Citations	3741	1290
h-index	28	18
i10-index	59	28

300

150

225

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202111 13 15 31 31 32 14 36 29 33 115 167 179 162 157 210 186 234 257 237 218 245 222 239 291 281 6

Co-authors

David StainforthLondon School of EconomicsVerified email at lse.ac.uk
Carl ChristensenStanford University, Oxford UniversityVerified email at atm.ox.ac.uk
Tolu AinaUniversity of OxfordVerified email at framestore.com
Dave FrameProfessor of Climate Change, Victoria University of WellingtonVerified email at vuw.ac.nz
Matthew CollinsUniversity of ExeterVerified email at exeter.ac.uk
John LyleDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Andrew PaverdMicrosoft ResearchVerified email at microsoft.com
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
Ahmad Atamli (Atamli)University of OxfordVerified email at cs.ox.ac.uk
Anbang RuanDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Jin Song DongProfessor of Computer Science, National University of Singapore and Griffith UniversityVerified email at nus.edu.sg
Ian BrownResearch ICT AfricaVerified email at researchictafrica.net
Pardeep kumarSwansea UniversityVerified email at swansea.ac.uk
Jun Ho HuhSamsung Research, Samsung ElectronicsVerified email at samsung.com
Ravishankar BorgaonkarResearch Fellow, University of OxfordVerified email at cs.ox.ac.uk
David C. H. WallomUniversity of OxfordVerified email at oerc.ox.ac.uk
Mark UttingThe University of QueenslandVerified email at uq.edu.au
Olusola AkinrolabuUniversity of Oxford, Computer Science DepartmentVerified email at kellogg.ox.ac.uk
Daniel GoodmanResearch Associate in Computer Science, The University of ManchesterVerified email at man.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	1299	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	139	2014
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	107	2012
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	101	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	93	2007
Trust in the Cloud IM Abbadi, A Martin information security technical report 16 (3-4), 108-114, 2011	91	2011
A survey of trust in workflows and relevant contexts W Viriyasitavat, A Martin IEEE Communications Surveys & Tutorials 14 (3), 911-940, 2011	78	2011
A set-theoretic model for real-time specification and reasoning CJ Fidge, IJ Hayes, AP Martin, AK Wabenhorst International Conference on Mathematics of Program Construction, 188-206, 1998	68	1998
Trusted computing and provenance: better together J Lyle, A Martin Usenix, 2010	65	2010
The ten-page introduction to Trusted Computing A Martin	62	2008
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	60	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	55	2012
A tactic calculus—abridged version AP Martin, PHB Gardiner, JCP Woodcock Formal Aspects of Computing 8 (4), 479-489, 1996	54	1996
Distributed computing for public-interest climate modeling research D Stainforth, J Kettleborough, M Allen, M Collins, A Heaps, J Murphy Computing in Science & Engineering 4 (3), 82-89, 2002	53	2002
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	51	2019
Security and privacy in smart grid demand response systems A Paverd, A Martin, I Brown International Workshop on Smart Grid Security, 1-15, 2014	42	2014
Hardware security for device authentication in the smart grid AJ Paverd, AP Martin International Workshop on Smart Grid Security, 72-84, 2012	41	2012
Innovations for grid security from trusted computing W Mao, A Martin, H Jin, H Zhang International Workshop on Security Protocols, 132-149, 2006	39	2006
Towards a secure, tamper-proof grid platform A Cooper, A Martin Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGRID …, 2006	37	2006
Modelling and automatically analysing privacy properties for honest-but-curious adversaries AJ Paverd, A Martin, I Brown Tech. Rep., 2014	36	2014

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

Upload PDF

Follow this author

Cited by

Co-authors