| 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 | 1538 | 2005 |
| 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 | 416 | 2019 |
| Threat-based security analysis for the internet of things AW Atamli, A Martin 2014 International workshop on secure internet of things, 35-43, 2014 | 257 | 2014 |
| Modelling and automatically analysing privacy properties for honest-but-curious adversaries A Paverd, A Martin, I Brown Tech. Rep, 2014 | 226 | 2014 |
| 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 | 203 | 2018 |
| 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 | 132 | 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 | 128 | 2007 |
| Trust in the Cloud IM Abbadi, A Martin information security technical report 16 (3-4), 108-114, 2011 | 121 | 2011 |
| 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 | 113 | 2012 |
| 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 | 100 | 2018 |
| Cyber risk assessment in cloud provider environments: Current models and future needs O Akinrolabu, JRC Nurse, A Martin, S New Computers & Security 87, 101600, 2019 | 94 | 2019 |
| A survey of trust in workflows and relevant contexts W Viriyasitavat, A Martin IEEE Communications Surveys & Tutorials 14 (3), 911-940, 2011 | 89 | 2011 |
| Trusted computing and provenance: Better together J Lyle, A Martin Usenix, 2010 | 87 | 2010 |
| The ten-page introduction to Trusted Computing A Martin | 83 | 2008 |
| Efficient and provably secure key agreement for modern smart metering communications A Braeken, P Kumar, A Martin Energies 11 (10), 2662, 2018 | 74 | 2018 |
| {White-Stingray}: Evaluating {IMSI} Catchers Detection Applications S Park, A Shaik, R Borgaonkar, A Martin, JP Seifert 11th USENIX workshop on Offensive Technologies (WOOT 17), 2017 | 71* | 2017 |
| 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 | 67 | 1998 |
| 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 | 65 | 2012 |
| Security and privacy in smart grid demand response systems A Paverd, A Martin, I Brown International Workshop on Smart Grid Security, 1-15, 2014 | 63 | 2014 |
| Climateprediction. net: design principles for public resource modelling research. D Stainforth, J Kettleborough, A Martin, A Simpson, R Gillis, A Akkas, ... | 63 | 2002 |
Andrew PaverdMicrosoftVerified email at microsoft.com
