On the Feasibility of Remote Attestation for Web Services. - John Lyle; Andrew P. Martin (CSE (3), 2009)

Trustworthy Log Reconciliation for Distributed Virtual Organisations. - Jun Ho Huh; John Lyle (TRUST, 2009)

Trustable Remote Verification of Web Services. - John Lyle (TRUST, 2009)

Trusted Computing and Provenance: Better Together. - John Lyle; Andrew P. Martin (TaPP, 2010)

Engineering Attestable Services. - John Lyle; Andrew P. Martin (TRUST, 2010)

Here's Johnny: A Methodology for Developing Attacker Personas. - Andrea S. Atzeni; Cesare Cameroni; Shamal Faily; John Lyle; Ivan Flechais (ARES, 2011)

Achieving attestation with less effort: an indirect and configurable approach to integrity reporting. - Jun Ho Huh; Hyoungshick Kim; John Lyle; Andrew P. Martin (STC@CCS, 2011)

Challenges for Provenance in Cloud Computing. - Imad M. Abbadi; John Lyle (TaPP, 2011)

Managing application whitelists in trusted distributed systems. - Jun Ho Huh; John Lyle; Cornelius Namiluko; Andrew P. Martin (Future Gener. Comput. Syst., 2011)

Trustworthy services through attestation. - John Lyle (2011)

On the Design and Development of webinos: A Distributed Mobile Application Middleware. - John Lyle; Shamal Faily; Ivan Flechais; André Paul; Ayse Göker; Hans I. Myrhaug; Heiko Desruelle; Andrew P. Martin (DAIS, 2012)

Personal PKI for the Smart Device Era. - John Lyle; Andrew J. Paverd; Justin King-Lacroix; Andrea S. Atzeni; Habib Virji; Ivan Flechais; Shamal Faily (EuroPKI, 2012)

Requirements Sensemaking Using Concept Maps. - Shamal Faily; John Lyle; André Paul; Andrea S. Atzeni; Dieter Blomme; Heiko Desruelle; Krishna Bangalore (HCSE, 2012)

On the challenges of building a web-based ubiquitous application platform. - Heiko Desruelle; John Lyle; Simon Isenberg; Frank Gielen (UbiComp, 2012)

Model-driven architectural risk analysis using architectural and contextualised attack patterns. - Shamal Faily; John Lyle; Cornelius Namiluko; Andrea S. Atzeni; Cesare Cameroni (MDsec@MoDELS, 2012)

Cross-Platform Access Control for Mobile Web Applications. - John Lyle; Salvatore Monteleone; Shamal Faily; Davide Patti; Fabio Ricciato (POLICY, 2012)

Provenance as a Security Control. - Andrew P. Martin; John Lyle; Cornelius Namiluko (TaPP, 2012)

The webinos project. - Christian Fuhrhop; John Lyle; Shamal Faily (WWW (Companion Volume), 2012)

Guidelines for integrating personas into software engineering tools. - Shamal Faily; John Lyle (EICS, 2013)

Continuous Integration for Web-Based Software Infrastructures: Lessons Learned on the webinos Project. - Tao Su; John Lyle; Andrea S. Atzeni; Shamal Faily; Habib Virji; Christos Ntanos; Christos Botsikas (Haifa Verification Conference, 2013)

Extending the web to support personal network services. - John Lyle; Claes Nilsson; Anders Isberg; Shamal Faily (SAC, 2013)

Multi-device application middleware: leveraging the ubiquity of the Web with webinos. - Heiko Desruelle; Simon Isenberg; John Lyle; Frank Gielen (J. Supercomput., 2013)

Evaluating the Implications of Attack and Security Patterns with Premortems. - Shamal Faily; Simon Parkin; John Lyle (Cyberpatterns, 2014)

Authorisation in Context: Incorporating Context-Sensitivity into an Access Control Framework. - Shamal Faily; John Lyle; Ivan Flechais; Andrea S. Atzeni; Cesare Cameroni; Hans I. Myrhaug; Ayse Göker; Robert Kleinfeld (BCS HCI, 2014)