Consent-v2.pdf Download pdf Tags: Reasoning about Accidental and Malicious Misuse via Formal Methods License: CC-2.5 Submitted by Munindar Singh on Tue, 12/28/2021 - 20:03