John Lyle : Publications

Book chapters

• [1]

  Developing secure‚ unified multi−device and multi−domain platforms: A case study from the webinos project

  Andrea Atzeni‚ John Lyle and Shamal Faily

  In Architectures and Protocols for Secure Information Technology. IGI Global. 2013.

  To Appear

  Details about Developing secure‚ unified multi−device and multi−domain platforms: A case study from the webinos project | BibTeX data for Developing secure‚ unified multi−device and multi−domain platforms: A case study from the webinos project

• [2]

  Tool−support Premortems with Attack and Security Patterns

  Shamal Faily‚ John Lyle and Simon Parkin

  In First International Workshop on Cyberpatterns: Unifying Design Patterns with Security‚ Attack and Forensic Patterns. Pages 10–11. 2012.

  Details about Tool−support Premortems with Attack and Security Patterns | BibTeX data for Tool−support Premortems with Attack and Security Patterns

Journal papers

• [1]

  Managing application whitelists in trusted distributed systems

  Jun Ho Huh‚ John Lyle‚ Cornelius Namiluko and Andrew Martin

  In Future Generation Computer Systems. Vol. In Press‚ Accepted Manuscript. 2010.

  Details about Managing application whitelists in trusted distributed systems | BibTeX data for Managing application whitelists in trusted distributed systems | DOI (DOI: 10.1016/j.future.2010.08.014) | Link to Managing application whitelists in trusted distributed systems

Conference papers

• [1]

  Policies in Context: Factors Influencing the Elicitation and Categorisation of Context−Sensitive Security Policies

  Shamal Faily‚ John Lyle‚ Ivan Flechais‚ Andrea Atzeni‚ Cesare Cameroni‚ Hans Myrhaug‚ Ayse Goker and Robert Kleinfeld

  In Proceedings of the Workshop on Home Usable Privacy and Security. 2013.

  Details about Policies in Context: Factors Influencing the Elicitation and Categorisation of Context−Sensitive Security Policies | BibTeX data for Policies in Context: Factors Influencing the Elicitation and Categorisation of Context−Sensitive Security Policies

• [2]

  Guidelines for Integrating Personas into Software Engineering Tools

  Shamal Faily and John Lyle

  In Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems. Pages 69–74. 2013.

  Details about Guidelines for Integrating Personas into Software Engineering Tools | BibTeX data for Guidelines for Integrating Personas into Software Engineering Tools

• [3]

  Extending the web to support personal network services

  John Lyle‚ Shamal Faily‚ Claes Nilsson and Anders Isberg

  In (To appear) In the Proceedings of the 28th ACM Symposium On Applied Computing (SAC '13). 2013.

  Details about Extending the web to support personal network services | BibTeX data for Extending the web to support personal network services | Download  (pdf) of Extending the web to support personal network services

• [4]

  Model−driven architectural risk analysis using architectural and contextualised attack patterns

  Shamal Faily‚ John Lyle‚ Cornelius Namiluko‚ Andrea Atzeni and Cesare Cameroni

  In Proceedings of the Workshop on Model−Driven Security. Pages 3:1–3:6. ACM. 2012.

  Details about Model−driven architectural risk analysis using architectural and contextualised attack patterns | BibTeX data for Model−driven architectural risk analysis using architectural and contextualised attack patterns | Download  (pdf) of Model−driven architectural risk analysis using architectural and contextualised attack patterns

• [5]

  Requirements Sensemaking using Concept Maps

  Shamal Faily‚ John Lyle‚ Andre Paul‚ Andrea Atzeni‚ Dieter Blomme‚ Heiko Desruelle and Krishna Bangalore

  In HCSE'2012: Proceedings of the 4th International Conference on Human−Centered Software Engineering. Pages 217–232. Springer. 2012.

  Details about Requirements Sensemaking using Concept Maps | BibTeX data for Requirements Sensemaking using Concept Maps | Download  (pdf) of Requirements Sensemaking using Concept Maps

• [6]

  On the Challenges of Building a Web−based Ubiquitous Application Platform

  Heiko Desruelle‚ John Lyle‚ Simon Isenberg and Frank Gielen

  In Proceedings of the 1st International Workshop on Ubiquitous Mobile Instrumentation. 2012.

  To appear

  Details about On the Challenges of Building a Web−based Ubiquitous Application Platform | BibTeX data for On the Challenges of Building a Web−based Ubiquitous Application Platform

• [7]

  Secure System? Challenge Accepted: Finding and Resolving Security Failures Using Security Premortems

  Shamal Faily‚ John Lyle and Simon Parkin

  In Proceedings of BCS HCI 2012 Workshops: Designing Interactive Secure Systems. Pages 5:1–5:4. 2012.

  Details about Secure System? Challenge Accepted: Finding and Resolving Security Failures Using Security Premortems | BibTeX data for Secure System? Challenge Accepted: Finding and Resolving Security Failures Using Security Premortems | Download  (pdf) of Secure System? Challenge Accepted: Finding and Resolving Security Failures Using Security Premortems

• [8]

  Personal PKI for the smart device era

  John Lyle‚ Andrew Paverd‚ Justin King−Lacroix‚ Andrea Atzeni‚ Habib Virji‚ Ivan Flechais and Shamal Faily

  In 9th European PKI Workshop: Research and Applications. 2012.

  Details about Personal PKI for the smart device era | BibTeX data for Personal PKI for the smart device era | Download  (pdf) of Personal PKI for the smart device era

• [9]

  Provenance as a Security Control

  Andrew Martin‚ John Lyle and Cornelius Namiluko

  In Proceedings of TaPP'12: the 4th USENIX Workshop on the Theory and Practice of Provenance. USENIX. 2012.

  Details about Provenance as a Security Control | BibTeX data for Provenance as a Security Control | Link to Provenance as a Security Control

• [10]

  On the design and development of webinos: a distributed mobile application middleware

  John Lyle‚ Shamal Faily‚ Ivan Flechais‚ Andre Paul‚ Ayse Goker‚ Hans Myrhaug‚ Heiko Desruelle and Andrew Martin

  In Proceedings of the 12th IFIP WG 6.1 international conference on Distributed applications and interoperable systems. Pages 140–147. 2012.

  Details about On the design and development of webinos: a distributed mobile application middleware | BibTeX data for On the design and development of webinos: a distributed mobile application middleware | Download  (pdf) of On the design and development of webinos: a distributed mobile application middleware

• [11]

  Cross−platform access control for mobile web applications

  John Lyle‚ Salvatore Monteleone‚ Shamal Faily‚ Davide Patti and Fabio Ricciato

  In Policies for Distributed Systems and Networks (POLICY)‚ 2012 IEEE International Symposium on. Pages 37–44. 2012.

  Details about Cross−platform access control for mobile web applications | BibTeX data for Cross−platform access control for mobile web applications | Download  (pdf) of Cross−platform access control for mobile web applications

• [12]

  The webinos project

  Christian Fuhrhop‚ John Lyle and Shamal Faily

  In Proceedings of the 21st international conference companion on World Wide Web. Pages 259–262. ACM. 2012.

  Details about The webinos project | BibTeX data for The webinos project | Download  (pdf) of The webinos project

• [13]

  Achieving attestation with less effort: an indirect and configurable approach to integrity reporting

  Jun Ho Huh‚ Hyoungshick Kim‚ John Lyle and Andrew Martin

  In Proceedings of the sixth ACM workshop on Scalable trusted computing. Pages 31–36. ACM. 2011.

  Details about Achieving attestation with less effort: an indirect and configurable approach to integrity reporting | BibTeX data for Achieving attestation with less effort: an indirect and configurable approach to integrity reporting | DOI (10.1145/2046582.2046589) | Link to Achieving attestation with less effort: an indirect and configurable approach to integrity reporting

• [14]

  “Do we know each other or is it just our Devices?”: A Federated Context Model for Describing Social Activity Across Devices

  George Gionis‚ Heiko Desruelle‚ Dieter Blomme‚ John Lyle‚ Shamal Faily and Louay Bassbouss

  In W3C/PrimeLife Federated Social Web Europe Conference 2011. June, 2011.

  Details about “Do we know each other or is it just our Devices?”: A Federated Context Model for Describing Social Activity Across Devices | BibTeX data for “Do we know each other or is it just our Devices?”: A Federated Context Model for Describing Social Activity Across Devices | Download (pdf) of “Do we know each other or is it just our Devices?”: A Federated Context Model for Describing Social Activity Across Devices

• [15]

  Challenges for Provenance in Cloud Computing

  Imad M. Abbadi and John Lyle

  In TaPP 2011: Proceedings of the Third USENIX Workshop on the Theory and Practice of Provenance. USENIX. 2011.

  Details about Challenges for Provenance in Cloud Computing | BibTeX data for Challenges for Provenance in Cloud Computing | Download (pdf) of Challenges for Provenance in Cloud Computing

• [16]

  Here's Johnny: a Methodology for Developing Attacker Personas

  Andrea Atzeni‚ Shamal Faily‚ John Lyle‚ Cesare Cameroni and Ivan Flechais

  In Proceedings of the 6th International Conference on Availability‚ Reliability and Security. Pages 722–727. 2011.

  Details about Here's Johnny: a Methodology for Developing Attacker Personas | BibTeX data for Here's Johnny: a Methodology for Developing Attacker Personas | Download  (pdf) of Here's Johnny: a Methodology for Developing Attacker Personas

• [17]

  Engineering Attestable Services (short paper)

  John Lyle and Andrew Martin

  In Ahmad−Reza Acquisti Alessandro; Smith Sean W.; Sadeghi, editor, Proceedings of the 3rd International Conference on Trust and Trustworthy Computing. Pages 257–264. Springer. June, 2010.

  Details about Engineering Attestable Services (short paper) | BibTeX data for Engineering Attestable Services (short paper) | Download  (pdf) of Engineering Attestable Services (short paper) | DOI (10.1007/978-3-642-13869-0) | Link to Engineering Attestable Services (short paper)

• [18]

  Trusted Computing and Provenance: Better Together

  John Lyle and Andrew Martin

  In Proceedings of the 2nd Workshop on the Theory and Practice of Provenance. Usenix. 2010.

  Details about Trusted Computing and Provenance: Better Together | BibTeX data for Trusted Computing and Provenance: Better Together | Download  (pdf) of Trusted Computing and Provenance: Better Together | Download (pdf) of Trusted Computing and Provenance: Better Together

• [19]

  On the Feasibility of Remote Attestation for Web Services

  John Lyle and Andrew Martin

  In SecureCom09: Proceedings of the International Symposium on Secure Computing. Pages 283−288. IEEE. 2009.

  Details about On the Feasibility of Remote Attestation for Web Services | BibTeX data for On the Feasibility of Remote Attestation for Web Services | Download PublicationFile of On the Feasibility of Remote Attestation for Web Services | Download feasibility-ieee.pdf of On the Feasibility of Remote Attestation for Web Services | Link to On the Feasibility of Remote Attestation for Web Services

• [20]

  Trustworthy Log Reconciliation for Distributed Virtual Organisations

  Jun Ho Huh and John Lyle

  In Liqun Chen‚ Chris J. Mitchell and Andrew Martin, editors, Trust '09: Proceedings of the 2nd International Conference on Trusted Computing. Pages 169−182. Berlin‚ Heidelberg. April, 2009. Springer−Verlag.

  Details about Trustworthy Log Reconciliation for Distributed Virtual Organisations | BibTeX data for Trustworthy Log Reconciliation for Distributed Virtual Organisations | DOI (10.1007/978-3-642-00587-9_11)

• [21]

  Trustable Remote Verification of Web Services

  John Lyle

  In Liqun Chen‚ Chris J. Mitchell and Andrew Martin, editors, TRUST. Pages 153−168. Springer. April, 2009.

  Details about Trustable Remote Verification of Web Services | BibTeX data for Trustable Remote Verification of Web Services | Download  (pdf) of Trustable Remote Verification of Web Services | Link to Trustable Remote Verification of Web Services

Technical reports

• [1]

  Proceedings of the Oxford University Computing Laboratory Student Conference 2009

  Programme Co−Chairs: Lu Feng‚ John Lyle and Nicolas Wu

  No. RR−09−14. OUCL. November, 2009.

  Details about Proceedings of the Oxford University Computing Laboratory Student Conference 2009 | BibTeX data for Proceedings of the Oxford University Computing Laboratory Student Conference 2009 | Download  (pdf) of Proceedings of the Oxford University Computing Laboratory Student Conference 2009

Theses

• [1]

  Trustworthy Services Through Attestation

  John Lyle

  PhD Thesis Department of Computer Science‚ University of Oxford. 2011.

  Details about Trustworthy Services Through Attestation | BibTeX data for Trustworthy Services Through Attestation | Download (pdf) of Trustworthy Services Through Attestation