Alex James

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2022
PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification.
Proceedings of the Formal Methods and Software Engineering, 2022

2018
Using the Value of Information (VoI) Metric to Improve Sensemaking.
CoRR, 2018


  Loading...