This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
September/October 2010 (vol. 8 no. 5)
pp. 6-9
ASCII Text
x 
 
Gary McGraw, "Silver Bullet Talks with Greg Morrisett," IEEE Security & Privacy, vol. 8, no. 5, pp. 6-9, September/October, 2010.
 
 
BibTex
x
 
@article{ 10.1109/MSP.2010.163,
author = {Gary McGraw},
title = {Silver Bullet Talks with Greg Morrisett},
journal ={IEEE Security & Privacy},
volume = {8},
number = {5},
issn = {1540-7993},
year = {2010},
pages = {6-9},
doi = {http://doi.ieeecomputersociety.org/10.1109/MSP.2010.163},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Security & Privacy
TI - Silver Bullet Talks with Greg Morrisett
IS - 5
SN - 1540-7993
SP6
EP9
EPD - 6-9
A1 - Gary McGraw,
PY - 2010
KW - Gary McGraw
KW - Greg Morrisett
KW - advanced type systems
KW - model checkers
KW - proof-carrying code
KW - inline reference monitors
VL - 8
JA - IEEE Security & Privacy
ER -
 
Gary McGraw, Cigital
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, Sept.-Oct. 2010, doi:10.1109/MSP.2010.163
Usage of this product signifies your acceptance of the Terms of Use.