マット・ビショップ
カリフォルニア大学デービス校の教授。その教科書は、道具に手を伸ばす前にまず形式モデルから始めることを、一世代の学生に教えた。
『Computer Security: Art and Science』は2002年に刊行され（第2版は2018年）、アクセスモデル、ポリシー、暗号、脆弱性分析を網羅した分厚い解説書である。料理本というより理論書で、それこそが狙いだ。ビショップはほかに、パスワードチェック、脆弱性の分類、セキュリティ教育にも取り組んできた。
2007年には、デヴィッド・ワグナーとともにカリフォルニア州の投票機を調べる「Top-to-Bottom Review」を率いた。レッドチームは調査した全システムで保護機能を突破し、州務長官は複数の機種の認証を取り消すか条件を付けた。学術的な監査がこれほど直接的な結果をもたらすことは珍しい。