Andrew Martin
Andrew Martin
Professor of Systems Security, University of Oxford
Verified email at - Homepage
TitleCited byYear
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, 2005
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
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
Threat-based security analysis for the internet of things
AW Atamli, A Martin
2014 International Workshop on Secure Internet of Things, 35-43, 2014
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
Trust in the Cloud
IM Abbadi, A Martin
information security technical report 16 (3-4), 108-114, 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
Trusted computing and provenance: better together
J Lyle, A Martin
Usenix, 2010
The ten-page introduction to Trusted Computing
A Martin
A survey of trust in workflows and relevant contexts
W Viriyasitavat, A Martin
IEEE Communications Surveys & Tutorials 14 (3), 911-940, 2011
A tactic calculus—abridged version
AP Martin, PHB Gardiner, JCP Woodcock
Formal Aspects of Computing 8 (4), 479-489, 1996
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
Climateprediction. net: Design Principles for Publicresource Modeling Research.
D Stainforth, J Kettleborough, AP Martin, A Simpson, R Gillis, A Akkas, ...
IASTED PDCS, 32-38, 2002
Innovations for grid security from trusted computing
W Mao, A Martin, H Jin, H Zhang
International Workshop on Security Protocols, 132-149, 2006
Hardware security for device authentication in the smart grid
AJ Paverd, AP Martin
International Workshop on Smart Grid Security, 72-84, 2012
Towards a secure, tamper-proof grid platform
A Cooper, A Martin
Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGRID …, 2006
Security and privacy in smart grid demand response systems
A Paverd, A Martin, I Brown
International Workshop on Smart Grid Security, 1-15, 2014
ZML: XML support for standard Z
M Utting, I Toyn, J Sun, A Martin, JS Dong, N Daley, D Currie
International Conference of B and Z Users, 437-456, 2003
Questions and answers about ten formal methods
P Hartel, M Butler, A Currie, P Henderson, M Leuschel, A Martin, A Smith, ...
STAR/CNR, Pisa, Italy 2, 179-203, 1999
Towards an open, trusted digital rights management platform
A Cooper, A Martin
Proceedings of the ACM workshop on Digital rights management, 79-88, 2006
The system can't perform the operation now. Try again later.
Articles 1–20