Experiments and Proofs in Web-service Security. - Dawood Sheniar; Nabeel Mahdy Haddad; David Martin; Ron Addie; Shahab A. Abdullah (ITNAC, 2018)

The Inference Graph of Cybersecurity Rules. - Dawood Sheniar; Nabeel Mahdy Haddad; Ron Addie (ITNAC, 2019)

A social contract for cyberspace. - Dawood Sheniar; James Northway; James Talbot; David Millsom; Yan Li 002; Ron Addie (ITNAC, 2021)