Home > Research > Researchers > Dr Charles Weir > Publications

Research

Dr Charles Weir

Senior Lecturer in Security and Protection Science

1 - 10 out of 44Page size: 10
RSS feed of this list
  1. 2025
  2. Forthcoming

    The Human Factor: Addressing Computing Risks for Critical National Infrastructure towards 2040

    Weir, C., Loureiro-Koechlin, C., Hunt, L. & Dennis, L., 29/04/2025, (Accepted/In press) In: Computers and Security. 27 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  3. 2024
  4. 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 outputs › Web publication/site

  5. Published

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

    Noble, J. & Weir, C., 10/12/2024, EuroPLoP 2024 Proceedings. New York: ACM, p. 1-7 7 p. 32

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  6. Published

    Spreading the Message about Critical National Infrastructure Cybersecurity

    Weir, C., 16/10/2024

    Research output: Exhibits, objects and web-based outputs › Blog

  7. 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/Proceedings › Commissioned report

  8. Published

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

    Weir, C., 30/09/2024

    Research output: Exhibits, objects and web-based outputs › Blog

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

  10. 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 outputs › Blog › peer-review

  11. 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/Magazine › Journal article › peer-review

  12. 2023
  13. 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/ISSN › Conference contribution/Paper › peer-review

Previous 1 2 3 4 5 Next

Back to top