'Flow security' diaporamas de présentation

0x1A Great Papers in Computer Security

CS 380S. 0x1A Great Papers in Computer Security. Vitaly Shmatikov. http://www.cs.utexas.edu/~shmat/courses/cs380s/. Course Logistics. Lectures: Tuesday and Thursday, 2-3:15pm Instructor: Vitaly Shmatikov Office: CSA 1.114 Office hours: Tuesday, 3:30-4:30pm (after class)

702 views • 59 slides

Finding Application Errors and Security Flaws Using PQL : A Program Query Language

Michael Martin, Ben Livshits , Monica S. Lam Stanford University First presented at OOPSLA 2005. Finding Application Errors and Security Flaws Using PQL : A Program Query Language. Motivation. Lots of bug-finding research Null dereferences, memory errors Buffer overruns Data races

659 views • 42 slides

Theory and Practice of Secure Systems

CS 380S. Theory and Practice of Secure Systems . Vitaly Shmatikov. http://www.cs.utexas.edu/~shmat/courses/cs380s/. Course Logistics. Lectures: Tuesday and Thursday, 2-3:30pm Instructor: Vitaly Shmatikov Office: TAYLOR 4.115C Office hours: Tuesday, 3:30-4:30pm (after class)

410 views • 30 slides

Detecting Cognitive Causes of Confidentiality Leaks

481 views • 19 slides