Home > Research > Security Lancaster (Software Security) > Publications & Outputs
View graph of relations

Security Lancaster (Software Security)

  1. 2020
  2. Published

    Human and Organizational Issues for Resilient Communications

    Anderson, T., Busby, J., Gouglidis, A., Hough, K., Hutchison, D. & Rouncefield, M., 2020, Guide to Disaster-Resilient Communication Networks. Rak, J. & Hutchison, D. (eds.). Cham: Springer, p. 791-807 17 p. (Computer Communications and Networks).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)peer-review

  3. Published

    Performance-aware Speculative Resource Oversubscription for Large-scale Clusters

    Yang, R., Sun, X., Hu, C., Garraghan, P., Wo, T., Wen, Z., Peng, H., Xu, J. & Li, C., 28/01/2020, In: IEEE Transactions on Parallel and Distributed Systems. 31, 7, p. 1499-1517 19 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  4. Published

    Fog Orchestration and Simulation for IoT Services

    Yang, R., Wen, Z., McKee, D., Lin, T., Xu, J. & Garraghan, P., 1/03/2020, Fog and Fogonomics: Challenges and Practices of Fog Computing, Networking, Strategy, and Economics. Yang, Y., Huang, J., Zhang, T. & Weinman, J. (eds.). Wiley, p. 179-212 34 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  5. Published

    Interventions for Long Term Software Security: Creating a Lightweight Program of Assurance Techniques for Developers

    Weir, C., Becker, I., Noble, J., Blair, L., Sasse, M. A. & Rashid, A., 1/03/2020, In: Software: Practice and Experience. 50, 3, p. 275-298 24 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  6. Published

    Software-Defined Fog Orchestration for IoT Services

    Yang, R., Wen, Z., McKee, D., Lin, T., Xu, J. & Garraghan, P., 4/03/2020, Fog and Fogonomics: Challenges and Practices of Fog Computing, Communication, Networking, Strategy, and Economics. Yang, Y., Huang, J., Zhang, T. & Weinman, J. (eds.). John Wiley, p. 179-212 34 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  7. E-pub ahead of print

    General Access Control Guidance for Cloud Systems: SP 800-210(Draft)

    Hu, V. C., Iorga, M., Bao, W., Li, A., Li, Q. & Gouglidis, A., 1/04/2020, (E-pub ahead of print) Computer Security Resource Center.

    Research output: Other contribution

  8. E-pub ahead of print

    Challenging Software Developers: Dialectic as a Foundation for Security Assurance Techniques

    Weir, C., Noble, J. & Rashid, A., 21/04/2020, (E-pub ahead of print) In: Journal of Cybersecurity. 30 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  9. Forthcoming

    A cloud gaming framework for dynamic graphical rendering towards achieving distributed game engines

    Bulman, J. & Garraghan, P., 1/05/2020, (Accepted/In press) The 12th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '20).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  10. Forthcoming

    Towards GPU Utilization Prediction for Cloud Deep Learning

    Yeung, G-F., Borowiec, D., Friday, A., Harper, R. H. R. & Garraghan, P., 1/05/2020, (Accepted/In press) The 12th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '20). USENIX Association

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  11. Published

    Decentralized Runtime Monitoring Approach Relying on the Ethereum Blockchain Infrastructure

    Taha, A., Zakaria, A., Kim, D. & Suri, N., 19/05/2020, 2020 IEEE International Conference on Cloud Engineering (IC2E). IEEE, p. 134-143 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  12. Published

    A Framework to Support ICS Cyber Incident Response and Recovery

    Staves, A., Balderstone, H., Green, B., Gouglidis, A. & Hutchison, D., 24/05/2020. 14 p.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  13. Published

    Dichotomies in Ontology-Mediated Querying with the Guarded Fragment

    Hernich, A., Lutz, C., Papacchini, F. & Wolter, F., 31/05/2020, In: ACM Transactions on Computational Logic (TOCL). 21, 3, 47 p., 20.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  14. Published

    Agility in Transdisciplinary Research: Lessons Learnt from a Research Sprint on Digital Technologies and Flood Risk Management

    Winter, E., Ferrario, M. A. & Blair, G., 21/06/2020, ICT4S2020: Proceedings of the 7th International Conference on ICT for Sustainability. ACM, p. 147–157 11 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  15. Published

    Trace Sanitizer: Eliminating the Effects of Non-Determinism of Error Propagation Analysis

    Saissi, H., Winter, S., Schwahn, O., Pattabiraman, K. & Suri, N., 23/06/2020, 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  16. Published

    Understanding the ecological validity of relying practice as a basis for risk identification

    Anderson, T., Busby, J. & Rouncefield, M., 1/07/2020, In: Risk Analysis. 40, 7, p. 1383-1398 16 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  17. Published

    Human Factors in the Study of Automatic Software Repair: Future Directions for Research with Industry

    Winter, E., Bowes, D., Counsell, S., Hall, T., Haraldsson, S., Nowack, V. & Woodward, J., 6/07/2020, Proceedings - 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops, ICSEW 2020. New York: Association for Computing Machinery, Inc, p. 285-286 2 p. (Proceedings - 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops, ICSEW 2020).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  18. Published

    Exploiting fault localisation for efficient program repair: 2020 Genetic and Evolutionary Computation Conference, GECCO 2020

    Nowack, V., Bowes, D., Counsell, S., Hall, T., Haraldsson, S., Winter, E., Woodward, J. & SIGEVO, ACM., 8/07/2020, p. 311-312. 2 p.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  19. Published

    Analysing spatial properties on neighbourhood spaces

    Linker, S., Papacchini, F. & Sevegnani, M., 1/08/2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 66:1-66:14 14 p. MFCS-2020-66. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  20. Published

    ThermoSim: Deep learning based framework for modeling and simulation of thermal-aware resource management for cloud computing environments

    Gill, S. S., Tuli, S., Toosi, A. N., Cuadrado, F., Garraghan, P., Bahsoon, R., Lutfiyya, H., Sakellariou, R., Rana, O., Dustdar, S. & Buyya, R., 1/08/2020, In: Journal of Systems and Software. 166, 20 p., 110596.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  21. Published

    From Needs to Actions to Secure Apps? The Effect of Requirements and Developer Practices on App Security

    Weir, C., Hermann, B. & Fahl, S., 12/08/2020, USENIX Security '20 Proceedings. USENIX Association, p. 289-305 17 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  22. Published

    LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest

    Cardoso, R. C., Ferrando, A. & Papacchini, F., 23/09/2020, The Multi-Agent Programming Contest 2019: Agents Assemble – Block by Block to Victory. Ahlbrecht, T., Dix, J., Fiekas, N. & Krausburg, T. (eds.). Cham: Springer, p. 31-58 28 p. (Lecture Notes in Computer Science ; vol. 12381).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  23. Published

    Genetic Improvement @ ICSE 2020

    Langdon, W. B., Petke, J., Fredericks, E., Lee, S., Winter, E., Basios, M., Cohen, M. B., Blot, A., Wagner, M., Bruce, B. R., Yoo, S., Gerasimou, S., Krauss, O., Huang, Y. & Gerten, M. C., 19/10/2020, In: ACM SIGSOFT Software Engineering Notes. 45, 4, p. 24-30 7 p.

    Research output: Contribution to Journal/MagazineJournal article

  24. Published

    Extracting Safe Thread Schedules from Incomplete Model Checking Results

    Metzler, P., Suri, N. & Weissenbacher, G., 31/10/2020, In: International Journal on Software Tools for Technology Transfer. 22, p. 565-581 17 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  25. Published

    Using Workshops to Improve Security in Software Development Teams

    Weir, C., 23/11/2020, Lancaster University. 206 p.

    Research output: ThesisDoctoral Thesis

  26. Published

    Tails in the cloud: a survey and taxonomy of straggler management within large‑scale cloud data centres

    Singh Gill, S., Ouyang, X. & Garraghan, P., 1/12/2020, In: Journal of Supercomputing. 76, p. 10050–10089 40 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  27. Published

    Integrating Clustering and Regression for Workload Estimation in the Cloud

    Yu, Y., Jindal, V., Yen, I-L., Bastani, F., Xu, J. & Garraghan, P., 10/12/2020, In: Concurrency and Computation Practice and Experience. 32, 23, 20 p., e5931.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  28. 2021
  29. Published

    Women's Sense of Belonging in Computer Science Education: Project Report for Advance HE

    Blair, L., Widdicks, K., Ashcroft, A., Winter, E., Sturdee, M., New, K. & Thomas, L., 31/01/2021, Lancaster University. 47 p.

    Research output: Book/Report/ProceedingsCommissioned report

  30. Published

    An Overview of Verification and Validation Challenges for Inspection Robots

    Fisher, M., Cardoso, R. C., Collins, E. C., Dadswell, C., Dennis, L. A., Dixon, C., Farrell, M., Ferrando, A., Huang, X., Jump, M., Kourtis, G., Lisitsa, A., Luckcuck, M., Luo, S., Page, V., Papacchini, F. & Webster, M. T., 29/04/2021, In: Robotics. 10, 2, 29 p., 67.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  31. Published

    Ethnography, CSCW and Ethnomethodology

    Randall, D., Rouncefield, M. & Tolmie, P., 30/04/2021, In: Computer Supported Cooperative Work. 30, 2, p. 189-214 26 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  32. Published

    A Passion for Security: Intervening to Help Software Developers

    Weir, C., Becker, I. & Blair, L., 25/05/2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP). IEEE, p. 21-30 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  33. Published

    'It's a Bit Weird, but it's OK'? How Female Computer Science Students Navigate being a Minority

    Winter, E., Thomas, L. & Blair, L., 26/06/2021, Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education. New York: Association for Computing Machinery, Inc, p. 436-442 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  34. Published

    Analysing Design Approaches for the Power Consumption in Cyber-Physical Systems

    Sailer, P., Ivkic, I., Tauber, M., Mauthe, A. & Gouglidis, A., 30/06/2021, 17th IFIP/IEEE International Symposium on Integrated Network Management (IM 2021): 2nd IEEE/IFIP International Workshop on Management for Industry 4.0 (MFI 4.0). IEEE, p. 908-913 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  35. Published

    Efficient Local Reductions to Basic Modal Logic

    Papacchini, F., Nalon, C., Hustadt, U. & Dixon, C., 7/07/2021, Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Cham: Springer, p. 76-92 17 p. (Lecture Notes in Computer Science ; vol. 12699).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  36. Published

    On the Introduction of Automatic Program Repair in Bloomberg

    Kirbas, S., Windels, E., McBello, O., Kells, K., Pagano, M., Szalanski, R., Nowack, V., Winter, E., Counsell, S., Bowes, D., Hall, T., Haraldsson, S. & Woodward, J., 31/07/2021, In: IEEE Software. 38, 4, p. 43-51 9 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  37. Published

    Finite Models for a Spatial Logic with Discrete and Topological Path Operators

    Linker, S., Papacchini, F. & Sevegnani, M., 18/08/2021, 46th International Symposium on Mathematical Foundations of Computer Science. Bonchi, F. & Puglisi, S. J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 202. p. 72:1-72:16 16 p. 72. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 202).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  38. Published

    Design and Engineering of Resilience for Networked Computer Systems

    Hutchison, D., Rouncefield, M., Gouglidis, A. & Anderson, T., 26/08/2021, Multisystemic Resilience: Adaptation and Transformation in Changing Contexts. Ungar, M. (ed.). Oxford University Press, p. 663-681 19 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  39. Published

    Infiltrating Security into Development: Exploring the World’s Largest Software Security Study

    Weir, C., Migues, S., Ware, M. & Williams, L., 28/08/2021, ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. New York: ACM, p. 1326-1336 11 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  40. Published

    Women’s Sense of Belonging in Computer Science Education: The Need for a Collective Response

    Widdicks, K., Ashcroft, A., Winter, E. & Blair, L., 2/09/2021, UKICER 2021 - Proceedings of the 2021 Conference on United Kingdom and Ireland Computing Education Research. New York: ACM, p. 4:1-4:7 7 p. 4

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  41. Published

    Automated Planning and BDI Agents: A Case Study

    Cardoso, R. C., Ferrando, A. & Papacchini, F., 25/09/2021, Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection: 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6–8, 2021, Proceedings. Dignum, F., Corchado, J. M. & Prieta, F. D. L. (eds.). Cham: Springer, p. 52-63 12 p. (Lecture Notes in Computer Science ; vol. 12946).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  42. Published

    MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest

    Cardoso, R. C., Ferrando, A., Papacchini, F., Luckcuck, M., Linker, S. & Payne, T. R., 1/10/2021, The Multi-Agent Programming Contest 2021: One-and-a-Half Decades of Exploring Multi-Agent Systems. Ahlbrecht, T., Dix, J., Fiekas, N. & Krausberg, T. (eds.). Cham: Springer, p. 82-107 27 p. (Lecture Notes in Computer Science; vol. 12947).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  43. Published

    HIPSTER Project - State of the Art: Technical Report

    Weir, C., Dyson, A. & Prince, D., 16/11/2021, 19 p.

    Research output: Book/Report/ProceedingsOther report

  44. 2022
  45. Published

    Expanding Fix Patterns to Enable Automatic Program Repair

    Nowack, V., Bowes, D., Counsell, S., Hall, T., Haraldsson, S., Winter, E. & Woodward, J., 11/02/2022, 2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE). Jin, Z., Li, X., Xiang, J., Mariani, L., Liu, T., Yu, X. & Ivaki, N. (eds.). IEEE Computer Society Press, p. 12-23 12 p. (2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  46. Published

    StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms

    Ferrando, A. & Papacchini, F., 10/03/2022, Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers. Alechina, N., Baldoni, M. & Logan, B. (eds.). Cham: Springer, p. 114-136 23 p. (Lecture Notes in Computer Science; vol. 13190).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  47. Published

    Local is Best: Efficient Reductions to Modal Logic K

    Papacchini, F., Nalon, C., Hustadt, U. & Dixon, C., 23/05/2022, In: Journal of Automated Reasoning. 66, 4, p. 639-666 28 p., 4.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  48. Published

    Personality Traits in Game Development

    Sturdee, M., Ivory, M., Ellis, D., Stacey, P. & Ralph, P., 13/06/2022, Proceedings of the ACM International Conference on Evaluation and Assessment in Software Engineering, EASE 2022. ACM, p. 221-230 10 p. (ACM International Conference Proceeding Series).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  49. Published

    The Soft Skills of Software Learning Development: the Psychological Dimensions of Computing and Security Behaviours

    Ivory, M., 13/06/2022, Proceedings of the ACM International Conference on Evaluation and Assessment in Software Engineering, EASE 2022. New York: ACM, p. 317-322 6 p. (ACM International Conference Proceeding Series).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  50. Published

    Multitudes: Widening the research agenda for personal informatics design

    Winter, E., Knowles, B., Richards, D., Snooks, K. & Speed, C., 3/07/2022, DRS2022 Bilbao: Design Research Society Conference 2022. Design Research Society, 15 p. (DRS2022 Bilbao: Design Research Society Conference 2022).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  51. Published

    Local Reductions for the Modal Cube

    Nalon, C., Hustadt, U., Papacchini, F. & Dixon, C., 1/08/2022, International Joint Conference on Automated Reasoning. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Vol. 13385. p. 486-505 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13385 LNAI).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  52. Published

    Bridging the gap between single- and multi-model predictive runtime verification

    Ferrando, A., Cardoso, R. C., Farrell, M., Luckcuck, M., Papacchini, F., Fisher, M. & Mascardi, V., 18/08/2022, In: Formal Methods in System Design. 59, 1-3, p. 44-76 33 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  53. Published

    LUSTRE: An online data management and student project resource

    Towse, J., Davies, R., Ball, E., James, R., Gooding, B. & Ivory, M., 2/09/2022, In: Journal of Statistics and Data Science Education. 30, 3, p. 266-273 8 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

Previous 1 2 Next

Back to top