Show 031 An Interview with Matt Bishop

Published: Oct. 20, 2008, 2:33 p.m.

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\u2019s plan to work security analysis and secure coding into a wider computer science cirriculum, Matt\u2019s 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\u2019s home menagerie (which does not include any one-legged chickens at this time).\n\nMatt Bishop\nIEEE Security & Privacy Magazine\nComputer Security: Art and Science\nSilver Bullet Security Podcast interview with Dorothy Denning\nSecure Computer Systems: Mathematical Foundations \u2013 The Bell Lapadula model [PDF]\nSecure Computer System: Unified Exposition and Multics Interpretation [PDF]\nTesting C Programs for Buffer Overflow Vulnerabilities \u2013 Eric Haugh, Matt Bishop [PDF]\nTOCTOU\nChecking for Race Conditions in File Accesses by Matt Bishop and Michael Dilger\n\u201cThe Song of the One Legged Chicken\u201d\n\nThe post Show 031 \u2013 An Interview with Matt Bishop appeared first on Cigital \xbb The Silver Bullet Security Podcast with Gary McGraw.\nThe post Show 031 \u2013 An Interview with Matt Bishop appeared first on Cigital \xbb The Silver Bullet Security Podcast with Gary McGraw.