Andrew P. Martin

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 22

Top Topics

Sharing Information

Preliminary Investigation

Top Venues

Publications

Steve Moyle, Andrew P. Martin, Nicholas Allott
XAI Human-Machine collaboration applied to network security. Frontiers Comput. Sci. 6 (2024)
Eman Salem Alashwali, Pawel Szalachowski, Andrew P. Martin
Exploring HTTPS Security Inconsistencies: A Cross-Regional Perspective. CoRR (2020)
Zhaoming Yin, Anbang Ruan, Ming Wei, Huafeng Li, Kai Yuan, Junqing Wang, Yahui Wang, Ming Ni, Andrew P. Martin
StreamNet: A DAG System with Streaming Graph Computing. CoRR (2019)
Pardeep Kumar, Andrei V. Gurtov, Mangal Sain, Andrew P. Martin, Phuong Hoai Ha
Lightweight Authentication and Key Agreement for Smart Metering in Smart Energy Networks. IEEE Trans. Smart Grid 10 (4) (2019)
Olusola Akinrolabu, Jason R. C. Nurse, Andrew P. Martin, Steve New
Cyber risk assessment in cloud provider environments: Current models and future needs. Comput. Secur. 87 (2019)
Pardeep Kumar, Yun Lin, Guangdong Bai, Andrew Paverd, Jin Song Dong, Andrew P. Martin
Smart Grid Metering Networks: A Survey on Security, Privacy and Open Research Issues. IEEE Commun. Surv. Tutorials 21 (3) (2019)
Ahmad Atamli-Reineh, Andrew P. Martin
Securing Application with Software Partitioning: A case study using SGX. CoRR (2017)
Ahmad Atamli-Reineh, Andrew Paverd, Giuseppe Petracca, Andrew P. Martin
A framework for application partitioning using trusted execution environments. Concurr. Comput. Pract. Exp. 29 (23) (2017)
Anbang Ruan, Andrew P. Martin
RepCloud: Attesting to Cloud Service Dependency. IEEE Trans. Serv. Comput. 10 (5) (2017)
Ahmad Atamli-Reineh, Andrew J. Paverd, Andrew P. Martin
Trustworthy and Secure Service-Oriented Architecture for the Internet of Things. CoRR (2016)
Ahmad Atamli-Reineh, Ravishankar Borgaonkar, Ranjbar A. Balisane, Giuseppe Petracca, Andrew P. Martin
Analysis of Trusted Execution Environment usage in Samsung KNOX. SysTEX@Middleware (2016)
Anbang Ruan, Ming Wei, Andrew P. Martin, David Blundell, David Wallom
Breaking Down the Monarchy: Achieving Trustworthy and Open Cloud Ecosystem Governance with Separation-of-Powers. CLOUD (2016)
Ahmad Atamli-Reineh, Giuseppe Petracca, Janne Uusilehto, Andrew P. Martin
Enabling Secure and Usable Mobile Application: Revealing the Nuts and Bolts of software TPM in todays Mobile Devices. CoRR (2016)
Jason R. C. Nurse, Ahmad Atamli, Andrew P. Martin
Towards a Usable Framework for Modelling Security and Privacy Risks in the Smart Home. HCI (20) (2016)
Ahmad Atamli-Reineh, Andrew P. Martin
Securing Application with Software Partitioning: A Case Study Using SGX. SecureComm (2015)
Charles A. Kamhoua, Anbang Ruan, Andrew P. Martin, Kevin A. Kwiat
On the Feasibility of an Open-Implementation Cloud Infrastructure: A Game Theoretic Analysis. UCC (2015)
Charles A. Kamhoua, Andrew P. Martin, Deepak K. Tosh, Kevin A. Kwiat, Chad Heitzenrater, Shamik Sengupta
Cyber-Threats Information Sharing in Cloud Computing: A Game Theoretic Approach. CSCloud (2015)
Andrew C. Simpson, Andrew P. Martin, Cas Cremers, Ivan Flechais, Ivan Martinovic, Kasper Bonne Rasmussen
Experiences in Developing and Delivering a Programme of Part-Time Education in Software and Systems Security. ICSE (2) (2015)
Luke Kwiat, Charles A. Kamhoua, Kevin A. Kwiat, Jian Tang, Andrew P. Martin
Security-Aware Virtual Machine Allocation in the Cloud: A Game Theoretic Approach. CLOUD (2015)
Deepak K. Tosh, Shamik Sengupta, Charles A. Kamhoua, Kevin A. Kwiat, Andrew P. Martin
An evolutionary game-theoretic framework for cyber-threat information sharing. ICC (2015)
Nalin Asanka Gamagedara Arachchilage, Andrew P. Martin
A Trust Domains Taxonomy for Securely Sharing Information: A Preliminary Investigation. CoRR (2015)
Nalin Asanka Gamagedara Arachchilage, Cornelius Namiluko, Andrew P. Martin
Developing a Trust Domain Taxonomy for Securely Sharing Information Among Others. CoRR (2015)
Guangdong Bai, Jianan Hao, Jianliang Wu, Yang Liu, Zhenkai Liang, Andrew P. Martin
TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms. FM (2014)
Andrew J. Paverd, Andrew P. Martin, Ian Brown
Privacy-enhanced bi-directional communication in the Smart Grid using trusted computing. SmartGridComm (2014)
Anbang Ruan, Andrew P. Martin
NeuronVisor: Defining a Fine-Grained Cloud Root-of-Trust. INTRUST (2014)
Nalin Asanka Gamagedara Arachchilage, Andrew P. Martin
A Trust Domains Taxonomy for Securely Sharing Information: A Preliminary Investigation. HAISA (2014)
Ahmad Atamli, Andrew P. Martin
Threat-Based Security Analysis for the Internet of Things. SIoT (2014)
Justin King-Lacroix, Andrew P. Martin
KEDS: Decentralised Network Security for the Smart Home Environment. SmartGridSec (2014)
Andrew J. Paverd, Andrew P. Martin, Ian Brown
Security and Privacy in Smart Grid Demand Response Systems. SmartGridSec (2014)
Nalin Asanka Gamagedara Arachchilage, Cornelius Namiluko, Andrew P. Martin
A taxonomy for securely sharing information among others in a trust domain. ICITST (2013)
Li Da Xu, Wattana Viriyasitavat, Puripant Ruchikachorn, Andrew P. Martin
Using Propositional Logic for Requirements Verification of Service Workflow. IEEE Trans. Ind. Informatics 8 (3) (2012)
Wattana Viriyasitavat, Andrew P. Martin
A Survey of Trust in Workflows and Relevant Contexts. IEEE Commun. Surv. Tutorials 14 (3) (2012)
Andrew J. Paverd, Andrew P. Martin
Hardware Security for Device Authentication in the Smart Grid. SmartGridSec (2012)
Wattana Viriyasitavat, Li Da Xu, Andrew P. Martin
SWSpec: The Requirements Specification Language in Service Workflow Environments. IEEE Trans. Ind. Informatics 8 (3) (2012)
Andrew P. Martin, John Lyle, Cornelius Namiluko
Provenance as a Security Control. TaPP (2012)
Anbang Ruan, Andrew P. Martin
TMR: Towards a Trusted MapReduce Infrastructure. SERVICES (2012)
John Lyle, Shamal Faily, Ivan Flechais, André Paul, Ayse Göker, Hans I. Myrhaug, Heiko Desruelle, Andrew P. Martin
On the Design and Development of webinos: A Distributed Mobile Application Middleware. DAIS (2012)
Cornelius Namiluko, Andrew P. Martin
Provenance-Based Model for Verifying Trust-Properties. TRUST (2012)
David Wallom, Matteo Turilli, Andrew P. Martin, Anbang Ruan, Gareth A. Taylor, Nigel Hargreaves, Alan McMoran
myTrustedCloud: trusted cloud infrastructure for security-critical computation and data management. WICSA/ECSA Companion Volume (2012)
Anbang Ruan, Andrew P. Martin
RepCloud: achieving fine-grained cloud TCB attestation with reputation systems. STC@CCS (2011)
Jun Ho Huh, John Lyle, Cornelius Namiluko, Andrew P. Martin
Managing application whitelists in trusted distributed systems. Future Gener. Comput. Syst. 27 (2) (2011)
Imad M. Abbadi, Muntaha Alawneh, Andrew P. Martin
Secure Virtual Layer Management in Clouds. TrustCom (2011)
Wattana Viriyasitavat, Andrew P. Martin
Formalizing Trust Requirements and Specification in Service Workflow Environments. ICEIS (3) (2011)
David Wallom, Matteo Turilli, Andrew P. Martin, Anbang Ruan, Gareth A. Taylor, Nigel Hargreaves, Alan McMoran
myTrustedCloud: Trusted Cloud Infrastructure for Security-critical Computation and Data Managment. CloudCom (2011)
Steve Bannerman, Andrew P. Martin
A multiple comparative study of test-with development product changes and their effects on team speed and product quality. Empir. Softw. Eng. 16 (2) (2011)
Cornelius Namiluko, Jun Ho Huh, Andrew P. Martin
Verifying Trustworthiness of Virtual Appliances in Collaborative Environments. TRUST (2011)
Imad M. Abbadi, Cornelius Namiluko, Andrew P. Martin
Insiders analysis in Cloud computing focusing on home healthcare system. ICITST (2011)
Jun Ho Huh, Hyoungshick Kim, John Lyle, Andrew P. Martin
Achieving attestation with less effort: an indirect and configurable approach to integrity reporting. STC@CCS (2011)
Imad M. Abbadi, Andrew P. Martin
Trust in the Cloud. Inf. Secur. Tech. Rep. 16 (3-4) (2011)
John Lyle, Andrew P. Martin
Trusted Computing and Provenance: Better Together. TaPP (2010)
Wattana Viriyasitavat, Andrew P. Martin
Formal Trust Specification in Service Workflows. EUC (2010)
John Lyle, Andrew P. Martin
Engineering Attestable Services. TRUST (2010)
Chunqing Chen, Jin Song Dong, Jun Sun, Andrew P. Martin
A verification system for interval-based specification languages. ACM Trans. Softw. Eng. Methodol. 19 (4) (2010)
Cornelius Namiluko, Andrew P. Martin
An Abstract Model of a Trusted Platform. INTRUST (2010)
Andrew P. Martin, Jim Davies, Steve Harris
Towards a Framework for Security in eScience. eScience (2010)
Jun Ho Huh, Andrew P. Martin
Towards a Trustable Virtual Organisation. ISPA (2009)
John Lyle, Andrew P. Martin
On the Feasibility of Remote Attestation for Web Services. CSE (3) (2009)
Andrew P. Martin, Po-Wah Yau
Grid security: Next steps. Inf. Secur. Tech. Rep. 12 (3) (2007)
Andrew Cooper, Andrew P. Martin
Towards an open, trusted digital rights management platform. Digital Rights Management Workshop (2006)
Lee Momtahan, Andrew P. Martin, A. W. Roscoe
A Taxonomy of Web Services Using CSP. Electron. Notes Theor. Comput. Sci. 151 (2) (2006)
David Spence, Neil Geddes, Jens Jensen, Andrew Richards, Matthew Viljoen, Andrew P. Martin, Matthew J. Dovey, Mark Norman, Kang Tang, Anne E. Trefethen, David Wallom, Rob Allan, David Meredith
ShibGrid: Shibboleth Access for the UK National Grid Service. e-Science (2006)
Alvaro E. Arenas, Jin Song Dong, Andrew P. Martin, Brian Matthews
Preface. Electron. Notes Theor. Comput. Sci. 151 (2) (2006)
Andrew Cooper, Andrew P. Martin
Towards a Secure, Tamper-Proof Grid Platform. CCGRID (2006)
Wenbo Mao, Andrew P. Martin, Hai Jin, Huanguo Zhang
Innovations for Grid Security from Trusted Computing. Security Protocols Workshop (2006)
Howard Chivers, Andrew P. Martin
Editorial. Softw. Pract. Exp. 35 (9) (2005)
Dave Stainforth, Andrew P. Martin, Andrew Simpson, Carl Christensen, Jamie Kettleborough, Tolu Aina, Myles Allen
Security Principles for Public-Resource Modeling Research. WETICE (2004)
Jim Davies, Andrew Simpson, Andrew P. Martin
Teaching Formal Methods in Context. TFM (2004)
Andrew P. Martin, Andrew Simpson
Generalising the Z Schema Calculus: Database Schemas and Beyond. APSEC (2003)
Mark Utting, Ian Toyn, Jing Sun, Andrew P. Martin, Jin Song Dong, Nicholas Daley, David W. Currie
ZML: XML Support for Standard Z. ZB (2003)
Andrew Simpson, Andrew P. Martin, Jeremy Gibbons, Jim Davies, Steve McKeever
On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. ICSE (2003)
Dave Stainforth, Jamie Kettleborough, Andrew P. Martin, Andrew Simpson, R. Gillis, A. Akkas, R. Gault, Mat Collins, David Gavaghan, Myles Allen
Climateprediction.net: Design Principles for Publicresource Modeling Research. IASTED PDCS (2002)
Lee Momtahan, Andrew P. Martin
e-Science Experiences: Software Engineering Practice and the EU DataGrid. APSEC (2002)
Andrew P. Martin, Colin J. Fidge
Lifting in Z. Electron. Notes Theor. Comput. Sci. 42 (2001)
Andrew P. Martin
Relating Z and First-Order Logic. Formal Aspects Comput. 12 (3) (2000)
Andrew P. Martin
Relating Z and First-Order Logic. World Congress on Formal Methods (1999)
Colin J. Fidge, Ian J. Hayes, Andrew P. Martin, Axel Wabenhorst
A Set-Theoretic Model for Real-Time Specification and Reasoning. MPC (1998)
Jon G. Hall, Andrew P. Martin
Reconstructed. ZUM (1997)
Owen Traynor, Daniel Hazel, Peter Kearney, Andrew P. Martin, Ray Nickson, Luke Wildman
The Cogito Development System. AMAST (1997)
Andrew P. Martin, Paul H. B. Gardiner, Jim Woodcock
A Tactic Calculus-Abridged Version. Formal Aspects Comput. 8 (4) (1996)
Andrew P. Martin
Encoding W: A Logic for Z in 2OBJ. FME (1993)