StatVerif: Verification of stateful processes (0)

by M Arapinis, E Ritter, M D Ryan
Venue:in Proc. 24th IEEE Computer Security Foundations Symposium (CSF). IEEE CS