Dawood Sheniar

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 3

Top Topics

Security Problems

Inference Engine

Backward Chaining

Top Venues

Publications

Dawood Sheniar, James Northway, James Talbot, David Millsom, Yan Li, Ron Addie
A social contract for cyberspace. ITNAC (2021)
Dawood Sheniar, Nabeel Hadaad, Ron Addie
The Inference Graph of Cybersecurity Rules. ITNAC (2019)
Dawood Sheniar, Nabeel Hadaad, David Martin, Ron Addie, Shahab A. Abdullah
Experiments and Proofs in Web-service Security. ITNAC (2018)