Textbook 1: Security in Computing, 5th Edition, Charles P. Pfleeger, Shari L. Pfleeger, and Johnathan, Margulies, 2015 (ISBN: 978-0134085043, Prentice Hall)

Textbook 2: Advanced Topics in Types and Programming Languages , Benjamin C. Pierce, (ISBN: 0-262-16228-8, MIT Press)

Other resources: A collection of papers and articles will be announced throughout the semester.