Skip to content

A Static Verification Framework for Secure Peer-to-Peer Applications.

Andrea Zisman

VenueCICIW
Year2007
ProceedingsICIW

Browse the full ICIW paper archive.