Show 031 – An Interview with Matt Bishop

What this episode covers

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). Matt Bishop IEEE Security & Privacy Magazine Computer Security: Art and Science Silver Bullet Security Podcast interview with Dorothy Denning 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” The post Show 031 – An Interview with Matt Bishop appeared first on Cigital » The Silver Bullet Security Podcast with Gary McGraw. The post Show 031 – An Interview with Matt Bishop appeared first on Cigital » The Silver Bullet Security Podcast with Gary McGraw.

Distinct summary based on available episode metadata or transcript content.