David Brumley

David Brumley David csdadmin Tue, 10/14/2014 - 09:01 Brumley Professor of ECE, Affiliated Faculty 2202 Mehrabian Collaborative Innovation Center dbrumley@andrew.cmu.edu (412) 268-3851 CIT - Electrical and Computer Engineering Computer Science Department: Affiliated Formal Methods Security Cryptography Security and Privacy Systems Faculty Seunghyun Lee My primary research area is software security techniques that give