Takip et
Andrew Martin
Andrew Martin
Professor of Systems Security, University of Oxford
cs.ox.ac.uk üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
14882005
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
3672019
Threat-based security analysis for the internet of things
AW Atamli, A Martin
2014 International workshop on secure internet of things, 35-43, 2014
2512014
Modelling and automatically analysing privacy properties for honest-but-curious adversaries
A Paverd, A Martin, I Brown
Tech. Rep, 2014
2002014
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
1742018
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
1292012
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
1222007
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
1142012
Trust in the Cloud
IM Abbadi, A Martin
information security technical report 16 (3-4), 108-114, 2011
1132011
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
932018
A survey of trust in workflows and relevant contexts
W Viriyasitavat, A Martin
IEEE Communications Surveys & Tutorials 14 (3), 911-940, 2011
882011
Trusted computing and provenance: Better together
J Lyle, A Martin
Usenix, 2010
852010
The ten-page introduction to Trusted Computing
A Martin
822008
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
752019
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
691998
Efficient and provably secure key agreement for modern smart metering communications
A Braeken, P Kumar, A Martin
Energies 11 (10), 2662, 2018
662018
{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
65*2017
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
652012
Climateprediction. net: design principles for public resource modelling research.
D Stainforth, J Kettleborough, A Martin, A Simpson, R Gillis, A Akkas, ...
632002
Security and privacy in smart grid demand response systems
A Paverd, A Martin, I Brown
Smart Grid Security: Second International Workshop, SmartGridSec 2014 …, 2014
602014
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20