Verifying Systems and Secure Programming Languages

  • 15 Videos | 1h 33m 53s
  • Includes Assessment
Likes 1 Likes 1
Learn about system security, the study of security amd vulnerabilities of individual computers.

WHAT YOU WILL LEARN

  • Understand the basics of doing rigorous proofs of security for programs
    Understand the basics of doing rigorous proofs of security for programs
    Understand how loops work in the proof
    Understand how you improve properties of programs that use arrays
    Understand how to work with pointers that are referencing integers in memory
    Understand how the work with pointers in the implementations of linked data structures
    Understand how to extend the specifications learned to capture stronger properties
    Know why programming languages matter in security
  • Understand what is wrong with the code presented
    Understand how to leverage types in order to enforce security
    Understand how to statically leverage approaches to keep track of what's data, what's code, etc. as you compute
    Know how we can use the approach given to do more than simply determining what kind of data different variables are going to point to
    Know how to apply the same techniques as before to make sure different kinds of data do not get mixed up, flow to the wrong place or display the wrong data in the wrong context 
    Understand how the programming language used can get the information flow correct right away
    Know how to differentiate the behavior

IN THIS COURSE

  • Playable
    1. 
    Verifying Systems Video 1
    3m 16s
    UP NEXT
  • Playable
    2. 
    Verifying Systems Video 2
    9m 29s
  • Locked
    3. 
    Verifying Systems Video 3
    5m 39s
  • Locked
    4. 
    Verifying Systems Video 4
    9m 16s
  • Locked
    5. 
    Verifying Systems Video 5
    8m 57s
  • Locked
    6. 
    Verifying Systems Video 6
    6m 38s
  • Locked
    7. 
    Verifying Systems Video 7
    8m 13s
  • Locked
    8. 
    Secure Programming Languages Video 1
    5m 15s
  • Locked
    9. 
    Secure Programming Languages Video 2
    5m
  • Locked
    10. 
    Secure Programming Languages Video 3
    6m 1s
  • Locked
    11. 
    Secure Programming Languages Video 4
    6m 4s
  • Locked
    12. 
    Secure Programming Languages Video 5
    6m 8s
  • Locked
    13. 
    Secure Programming Languages Video 6
    7m 2s
  • Locked
    14. 
    Secure Programming Languages Video 7
    3m 38s
  • Locked
    15. 
    Secure Programming Languages Video 8
    3m 18s