CSCE 853: Formal Methods in Computer Security