Andrew P. Martin

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