Automatic Verification of Privacy Properties in the Applied pi Calculus

SP Delaune, Mark Ryan, Benjamin Smyth, YC Karabulut, J Mitchell, P Herrmann, CD Jensen

Research output: Contribution to conference (unpublished) › Paper

41 Citations (Scopus)

Search results