Software Security Evaluation (Research)
with Drew Davidson
Quiz 2 Topics
Computability
Static Analysis
Control Flow
Fixpoints
Lattices
Abstract Interpretation
Information Flow
Side Channels
Dependency Analysis
Program Slicing
Interprocedural Analysis
Summary Functions
Class Hierarchy Analysis
Review Session
mp4
Menu
resources
677 syllabus
777 syllabus
schedule
Contact
email
drewdavidson@ku.edu
office:
2050 Eaton Hall
zoom:
link