The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September/October (2010 vol.8)
pp: 6-9
Gary McGraw , Cigital
ABSTRACT
Gary McGraw interviews Greg Morrisett, the Allen B. Cutting Professor of Computer Science and associate dean for computer science and engineering at Harvard University. His current work is on applications of advanced type systems, model checkers, proof-carrying code, and inline reference monitors for building efficient and provably secure systems. He's also working on languages for sensor networks. Hear the full podcast of the interview at www.computer.org/security/podcasts/ or www.cigital.com/silverbullet/. The Web extra is the full transcript of the interview.
INDEX TERMS
Gary McGraw, Greg Morrisett, advanced type systems, model checkers, proof-carrying code, inline reference monitors
CITATION
Gary McGraw, "Silver Bullet Talks with Greg Morrisett", IEEE Security & Privacy, vol.8, no. 5, pp. 6-9, September/October 2010, doi:10.1109/MSP.2010.163
24 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool