Home > Research > Researchers > Dr Charles Weir > Publications

Dr Charles Weir

Senior Lecturer in Security and Protection Science

  1. 2024
  2. Published

    Supporting Cybersecurity through Faultless Programming: A Guide to Dafny

    Weir, C., Noble, J. & Greyling, E., 10/12/2024

    Research output: Exhibits, objects and web-based outputsWeb publication/site

  3. E-pub ahead of print

    The Faultless Way of Programming: Principles, Patterns, Practices, and Peculiarities for Verification in Dafny

    Noble, J. & Weir, C., 15/11/2024, (E-pub ahead of print) EuroPLoP 2024 Proceedings. New York: ACM, 10 p.

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

  4. Published

    Spreading the Message about Critical National Infrastructure Cybersecurity

    Weir, C., 16/10/2024

    Research output: Exhibits, objects and web-based outputsBlog

  5. Published

    Software Risks for Critical Infrastructure towards 2040: Expert Forecasts - Final Report

    Loureiro-Koechlin, C., Dennis, L., Hunt, L. & Weir, C., 7/10/2024, Zenodo. 12 p.

    Research output: Book/Report/ProceedingsCommissioned report

  6. Published

    Decoding Risk in the Digital Age: What You Need to Know

    Weir, C., 30/09/2024

    Research output: Exhibits, objects and web-based outputsBlog

  7. Published

    Futures for Interlinked CNI Computing.

    Loureiro-Koechlin, C., Weir, C., Dennis, L. & Hunt, L., 16/07/2024. 1 p.

    Research output: Contribution to conference - Without ISBN/ISSN Poster

  8. Published

    The top risks from technology that we’ll be facing by the year 2040

    Weir, C. & Dennis, L., 23/01/2024

    Research output: Exhibits, objects and web-based outputsBlogpeer-review

  9. Published

    Interlinked Computing in 2040: Safety, Truth, Ownership and Accountability

    Weir, C., Dyson, A., Jogunola, O., Dennis, L. & Paxton-Fear, K., 5/01/2024, In: Computer. 57, 1, p. 59-68 9 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  10. 2023
  11. E-pub ahead of print

    A Lot Less Likely Than I Thought: Introducing Evidence-Based Security Risk Assessment for Healthcare Software

    Weir, C., Dyson, A. & Prince, D., 25/09/2023, (E-pub ahead of print) Proceedings of the 2023 IEEE Secure Development Conference (SecDev). IEEE

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

  12. Forthcoming

    Interlinked Computing: Initial Forecasts

    Weir, C., Dyson, A., Jogunola, O., Dennis, L. & Paxton-Fear, K., 26/07/2023, (Accepted/In press) 3 p.

    Research output: Working paperDiscussion paper

  13. Published

    Incorporating Software Security: Using Developer Workshops to Engage Product Managers

    Weir, C., Becker, I. & Blair, L., 31/03/2023, In: Empirical Software Engineering. 28, 2, 33 p., 21.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  14. Published

    Hipster Impact Case Study: Spark

    Dyson, A. & Weir, C. (Other), 8/03/2023

    Research output: Exhibits, objects and web-based outputsBlog

  15. Published

    Cyber Risk Management is an Innovation Process

    Prince, D. & Weir, C., 2/02/2023

    Research output: Exhibits, objects and web-based outputsBlog

  16. Published

    Do You Speak Cyber? Talking Security with Developers of Health Systems and Devices

    Weir, C., Dyson, A. & Prince, D., 31/01/2023, In: IEEE Security and Privacy Magazine. 21, 1, p. 27-36 10 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  17. 2022
  18. Published

    Exploring the Shift in Security Responsibility

    Weir, C., Migues, S. & Williams, L., 30/11/2022, In: IEEE Security and Privacy Magazine. 20, 6, p. 8-17 15 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  19. Published

    Talking Cybersecurity with Health IoT Developers

    Weir, C., Dyson, A. & Prince, D., 29/09/2022.

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

  20. Published

    Vision: Design Fiction for Cybersecurity: Using Science Fiction to Help Software Developers Anticipate Problems

    Loureiro-Koechlin, C., Córdoba-Pachón, J.-R., Coventry, L., Demetriou, S. & Weir, C., 29/09/2022, EuroUSEC '22: Proceedings of the 2022 European Symposium on Usable Security. New York: ACM, p. 79-84 6 p. (ACM International Conference Proceeding Series).

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

  21. Published

    Helping Developers in Innovative Health IoT Companies Make Decisions About Security, Privacy, and Safeguarding

    Weir, C. & Dyson, A., 20/07/2022.

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

  22. Published

    HIPSTER Poster Presentation at BASS 2022

    Weir, C., Dyson, A. & Prince, D., 19/07/2022.

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

  23. Published

    Teams2Nvivo: Convert Teams and Zoom Transcripts to NVivo

    Weir, C. (Developer), 1/06/2022

    Research output: Exhibits, objects and web-based outputsSoftware

  24. 2021
  25. 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

  26. 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

  27. 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

  28. 2020
  29. Published

    Using Workshops to Improve Security in Software Development Teams

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

    Research output: ThesisDoctoral Thesis

  30. 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

  31. 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

  32. 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

  33. 2019
  34. Published

    Proceedings of the 4th European Workshop on Usable Security

    Ur, B. (Editor) & Weir, C. (Editor), 1/09/2019, IEEE.

    Research output: Book/Report/ProceedingsProceedings

  35. Published

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

    Weir, C., Blair, L., Becker, I., Noble, J., Sasse, A. & Rashid, A., 25/05/2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering in Practice Track. Sharpe, H. & Whalen, M. (eds.). IEEE, p. 41-50 10 p.

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

  36. 2018
  37. Published

    The Secure Development Handbook

    Weir, C. & Ford, N. (Illustrator), 1/10/2018, 1.1 ed. London: Amazon Kindle. 47 p.

    Research output: Book/Report/ProceedingsBook

  38. Published

    Light-touch Interventions to Improve Software Development Security

    Weir, C. A. F., Blair, L., Becker, I., Sasse, A. & Noble, J., 25/09/2018, Proceedings of the IEEE Cybersecurity Development Conference 2018. Yeo, D. & Chong, S. (eds.). IEEE, 9 p.

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

  39. Published

    Message from the Chairs EuroSandP Workshops

    Weir, C. & Fahl, S., 6/07/2018, Proceedings of IEEE European Symposium on Security and Privacy (EuroS&P) 2018. IEEE, p. x 1 p.

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

  40. Published

    Proceedings of the 3rd European Workshop on Usable Security (EuroUSEC) 2018

    Weir, C. A. F. (Editor) & Mazurek, M. (Editor), 1/07/2018, Reston, VA: Internet Society.

    Research output: Book/Report/ProceedingsBook

  41. Published

    Developer Cyber Essentials: Trialling Interventions to Improve Development Security

    Weir, C., Blair, L., Noble, J., Becker, I. & Sasse, A., 25/05/2018, Lancaster: Lancaster University. 8 p.

    Research output: Book/Report/ProceedingsCommissioned report

  42. 2017
  43. Published

    A Stitch in Time: Supporting Android Developers in Writing Secure Code

    Nguyen, D. C., Wermke, D., Acar, Y., Backes, M., Weir, C. A. F. & Fahl, S., 30/10/2017, CCS '17 Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. New York: ACM, p. 1065-1077 13 p.

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

  44. Published

    Developers Need Support, Too: A Survey of Security Advice for Software Developers

    Acar, Y., Stransky, C., Wermke, D., Weir, C. A. F., Mazurek, M. & Fahl, S., 24/09/2017, Proceedings of the IEEE Secure Development Conference 2017. Jaeger, T. (ed.). IEEE, p. 22-26 5 p. 17

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

  45. Published

    I'd Like to Have an Argument, Please: Using Dialectic for Effective App Security

    Weir, C., Rashid, A. & Noble, J., 29/04/2017, EuroUSEC 2017: the 2nd European Workshop on Usable Security. Reston, VA: Internet Society, 13 p.

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

  46. Published

    Developer Essentials: Top Five Interventions to Support Secure Software Development

    Weir, C., Rashid, A. & Noble, J., 30/03/2017, Lancaster: Lancaster University. 9 p.

    Research output: Book/Report/ProceedingsCommissioned report

  47. Published

    How to Improve the Security Skills of Mobile App Developers: An Analysis of Expert Knowledge

    Weir, C., 2017, Lancaster University. 135 p.

    Research output: ThesisMaster's Thesis

  48. 2016
  49. Published

    Reaching the Masses: A New Subdiscipline of App Programmer Education

    Weir, C., Rashid, A. & Noble, J., 13/11/2016, FSE 2016 Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York: ACM, p. 936-939 4 p.

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

  50. Published

    How to Improve the Security Skills of Mobile App Developers: Comparing and Contrasting Expert Views

    Weir, C., Rashid, A. & Noble, J., 22/06/2016, Proceedings of the 2016 ACM Workshop on Security Information Workers. Biddle, R., Chu, B., Lipford, H. & Murphy-Hill, E. (eds.). New York: USENIX Association, 7 p. 1

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

  51. Published

    Early Report: How to Improve Programmers' Expertise at App Security?

    Weir, C., Rashid, A. & Noble, J., 8/04/2016, Proceedings of the 1st International Workshop on Innovations in Mobile Privacy and Security: co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2016). Aspinall, D., Cavallaro, L., Seghir, M. & Volkamer, M. (eds.). London, UK: CEUR-WS.org, Vol. 1575. p. 49-50 2 p. 8

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

  52. 2000
  53. Published

    Small Memory Software: Patterns for Software with Limited Memory

    Weir, C. & Noble, J., 2000, Harlow: Addison Wesley Longman. 500 p.

    Research output: Book/Report/ProceedingsBook

Back to top