Research outputs
2021
Friend or foe: an investigation into recipient identification of SMS-based phishing
Clasen, M., Li, F., Williams, D.
8 Jul 2021,
Research output: Conference contribution
2020
Legislation-driven development of a Gift Aid system using Event-B
Williams, D., Darwish, S., Schneider, S., Michael, D. R.
25 May 2020, In: Formal Aspects of Computing
Research output: Article