Lecture 22: November 15, 2019

Reading: text, §17
Due: Homework 4, due November 25, 2019

1. Greetings and felicitations!
2. Puzzle of the Day
3. Secret sharing
4. Entropy-based analysis
   1. Flow of information from x to y
   2. Implicit flow of information
5. Compiler-based flow mechanisms
   1. Scalar declarations
   2. Array declarations
   3. Assignment statements
   4. Compound statements
   5. Conditional statements
   6. Iterative statements
   7. Goto statements
   8. Procedure calls
   9. Exceptions and infinite loops
   10. Semaphores
   11. Soundness

Matt Bishop Office: 2209 Watershed Sciences Phone: +1 (530) 752-8060 Email: mabishop@ucdavis.edu

ECS 153, Computer Security Version of November 15, 2019 at 4:22PM

You can also obtain a PDF version of this.