• A Tale of Two Tasks: Designing and Validating Secure Software 

      Allen, Shelby (Georgia Institute of Technology, 2019-03-08)
      Secure software development can be categorized into two major tasks: designing secure software and validating secure software. In this talk, we will review both categories as well as some resources helpful for continuous ...