Giles Howard

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 2

Top Topics

Security Requirements

Formal Analysis

Top Venues

Int. J. Crit. Comput. Based Syst.

EuroS&P Workshops

Publications