Print and PDF Options

COMPĀ 5110 [0.5 credit] (CSI 5136) Computer Security and Usability

This course focuses on designing and evaluating security and privacy software with particular attention to human factors and how interaction design impacts security. Topics include current approaches to usable security, methodologies for empirical analysis, and design principles for usable security and privacy.

COMPĀ 5707 [0.5 credit] (CSI 5110) Principles of Formal Software Development

Methodologies in formal software specification, development, and verification. The use of theorem proving, automated deduction, and other related formal methods for software correctness. Applications in program verification and secure computation.