Results 1 -
0 of
0
No citations were found for this document.
On the Decidability of a Class of XOR-Based Key-Management APIs (2006)
by Véronique Cortier, Graham Steel
| Venue: | Proceedings of the Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA |
