On the Decidability of a Class of XOR-based Key-management APIs

Véronique Cortier, Graham Steel

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Filter

Finished
AUTOMATED ANALYSIS OF SECURITY CRITICAL SYSTEMS
Bundy, A. & Fleuriot, J.
EPSRC
1/10/04 → 30/09/07
Project: Research