Colin F. Snook

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 31

Top Topics

Abstract Data Types

Provably Correct

Security Protocols

Event Detection

Top Venues

J. Syst. Archit.

Publications