Search Results

S E 421: Software Analysis and Verification for Safety and Security

(Cross-listed with CPR E). Cr. 3. F.S.

Prereq: COM S 309; CPR E 310 or Com S 230
Significance of software safety and security; various facets of security in cyber-physical and computer systems; threat modeling for software safety and security; and categorization of software vulnerabilities. Software analysis and verification: mathematical foundations, data structures and algorithms, program comprehension, analysis, and verification tools; automated vs. human-on-the-loop approach to analysis and verification; and practical considerations of efficiency, accuracy, robustness, and scalability of analysis and verification. Cases studies with application and systems software; evolving landscape of software security threats and mitigation techniques. Understanding large software, implementing software analysis and verification algorithms.

Mechanical Engineering

...1 U.S. Diversity: 3...and ME 421. Mechanical Engineering...level M E technical electives...

Energy Systems Minor

...NUC E 421 Nuclear Criticality Safety NUC E...E 311 Thermodynamics in Materials Engineering M S...