Silver Bullet
Show 031 – An Interview with Matt Bishop

On the 31st episode of The Silver Bullet Security Podcast, Gary talks with Matt Bishop, professor of Computer Science at UC Davis and author of the book Computer Security: Art and Science as well as many peer-reviewed papers. Gary and Matt discuss Matt’s plan to work security analysis and secure coding into a wider computer science cirriculum, Matt’s early work with Mike Dilger on TOCTOU, whether or not progress is being made in the field of software security, and the role of training in large-scale software security initiatives. Their chat closes with a mention of Matt’s home menagerie (which does not include any one-legged chickens at this time).
- Transcript of this episode
- Matt Bishop
- IEEE Security & Privacy Magazine
- Computer Security: Art and Science
- Silver Bullet Security Podcast interview with Dorothy Denning
- Security Controls for Computer Systems: Report of Defense Science Board Task Force on Computer Security (the “Ware Report” referred to in the podcast)
- Secure Computer Systems: Mathematical Foundations – The Bell Lapadula model [PDF]
- Secure Computer System: Unified Exposition and Multics Interpretation [PDF]
- Testing C Programs for Buffer Overflow Vulnerabilities – Eric Haugh, Matt Bishop [PDF]
- TOCTOU
- Checking for Race Conditions in File Accesses by Matt Bishop and Michael Dilger
- “The Song of the One Legged Chicken”
-
Tommy
-
http://www.cigital.com/~gem gem
-
Tommy
