GitHub repository: jzheng13/fyp-securityanalysis
Primary language: HTML
Created: 2016-09-16T23:59:55Z
Description: Formal verification of security across user accounts.