Title: Lecture Notes on Security of Computer Systems