Information Security and Privacy

Communication and Network Systems Security
High-Assurance Software Development and Verification

AT&T Foundation Distinguished Professor of Electrical and Computer Science and Director of the Information and Telecommunication Technology Center