Login / Signup
John Heneghan
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Formal Models
Computer Security
Constraint Satisfaction Problems
Top Venues
DSN Workshops
</>
Publications
</>
John Heneghan
,
Siraj Ahmed Shaikh
,
Jeremy W. Bryans
,
Madeline Cheah
,
Paul Wooderson
Enabling Security Checking of Automotive ECUs with Formal CSP Models.
DSN Workshops
(2019)