Research outputs per year
Research outputs per year
Personal profile
Education/Academic qualification
Ph.D., Formal Modelling and Analysis of Buyer-Seller Watermarking Protocols, University of Surrey
1 Oct 2007 → 31 Mar 2011
BSc (Hons), Mathematics and Computing, University of Surrey
1 Oct 2002 → 30 Jun 2006
Fingerprint
Dive into the research topics where David Williams is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Friend or foe: an investigation into recipient identification of SMS-based phishing
Clasen, M., Li, F. & Williams, D., 8 Jul 2021, Human Aspects of Information Security and Assurance: 15th IFIP WG 11.12 International Symposium, HAISA 2021, Virtual Event, July 7–9, 2021, Proceedings. Furnell, S. & Clarke, N. (eds.). 1st ed. Cham: Springer, p. 148-163 16 p. (IFIP Advances in Information and Communication Technology; vol. 613).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile202 Downloads (Pure) -
Legislation-driven development of a Gift Aid system using Event-B
Williams, D., Darwish, S., Schneider, S. & Michael, D. R., 25 May 2020, (Early online) In: Formal Aspects of Computing.Research output: Contribution to journal › Article › peer-review
Open AccessFile203 Downloads (Pure) -
Constructing and verifying a robust Mix Net using CSP
Stathakidis, E., Williams, D. & Heather, J., Oct 2016, In: Software and Systems Modeling. 15, 4, p. 1063-1089 27 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Formal specification and verification of TCP extended with the Window Scale Option
Lockefeer, L., Williams, D. & Fokkink, W., 1 Mar 2016, In: Science of Computer Programming. 118, p. 3-23 21 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Foundations for using linear temporal logic in Event-B refinement
Hoang, T. S., Schneider, S., Treharne, H. & Williams, D., 1 Nov 2016, In: Formal Aspects of Computing. 28, 6, p. 909–935Research output: Contribution to journal › Article › peer-review
Open AccessFile66 Downloads (Pure)
Datasets
-
Swiftaid Rodin Event-B models
Williams, D. (Creator), Darwish, S. (Creator), Schneider, S. (Creator) & Michael, D. R. (Creator), Zenodo, 2020
DOI: 10.5281/zenodo.3715494, https://zenodo.org/record/3715494
Dataset
Projects
- 1 Finished
-
Developing and implementing a collaborative Data Control Tower (DCT) system for Dynamic MRO Supply Network Optimisation
Xu, M., Chen, H., Barbati, M., Lokman, B. & Williams, D.
1/02/21 → 31/01/24
Project: Research
Press/Media
-
Clever computing puts millions into charities' hands
1/06/20
2 items of Media coverage
Press/Media: Research cited