Star 0
Month Quarter Year
#N/A #N/A #N/A
Title Event
A Method for Verifying Privacy-Type Properties: The Unbounded Case 37th IEEE Symposium on Security and Privacy
Web-based Attacks on Host-Proof Encrypted Storage WOOT '12