NSA CD People

Faculty Dept.* Information Assurance Interests
Tarek F. Abdelzaher, Prof. CS Sensor network security, security of Internet of Battlefield Things
Vikram Adve, Prof. CS Software security and reliability, automated debugging for software failures
Gul Agha, Prof. CS Mobile cloud assurance, quantitative formal methods
Michael Bailey, Assoc. Prof. ECE Security, performance, and availability properties of computing systems
M. Tamer Başar, Prof. ECE Security in computer networks; intrusion detection and response; risk-sensitive estimation and control; robustness, resilience, and trust in multi-agent systems
Masooda Bashir, Asst. Prof. IS Interface of information technology, human psychology, and society; how privacy, security, and trust intersect with information systems
Adam Bates, Asst. Prof. CS Cloud computing security, network/communications security, mobile security & privacy, IoT security & privacy, systems security, secure provenance
Nikita Borisov, Assoc. Prof. ECE Cybersecurity and privacy
Marco Caccamo, Prof. CS Security and robustness problems in the software architecture of UAVs
Matthew Caesar, Assoc. Prof. CS Implementation of networked and distributed systems, with an emphasis on systems security
Roy H. Campbell, Prof. CS Privacy, critical infrastructure security, security policy, security assessment, assured cloud computing
Deming Chen, Prof. ECE Hardware security
Ryan Cunningham, Lecturer CS Computer security, digital forensics, machine learning
Christopher Fletcher, Asst. Prof. CS Computer architecture and security
P. Brighten Godfrey, Assoc. Prof. CS Network security and debugging
George Gross, Prof.   ECE Reliability & security assessment; power grid cyber security
Carl A. Gunter, Prof. CS Security and privacy, esp. in the healthcare and electric power sectors and for networking
Indranil Gupta, Prof. CS Fault-tolerant distributed protocols
Albert Harris, Teaching Asst. Prof. CS Privacy and security in mobile & wireless; policy and legal mechanisms to combat various attacks
Yih-Chun Hu, Assoc. Prof. ECE Security and systems, secure systems and mobile communications
Jian Huang, Asst. Prof. ECE Systems security
Ravishankar K. Iyer, Prof. ECE Evaluation and design of dependable cyber-physical systems, extreme-scale systems, and cloud computing infrastructures
Zbigniew T. Kalbarczyk, Res. Prof. ECE Evaluation and design of dependable cyber-physical systems, extreme-scale systems, and cloud computing infrastructures
Kirill Levchenko, Assoc. Prof. ECE Cyber-physical systems, aircraft systems, network security, e-crime, spam, and network service abuse
Bo Li, Asst. Prof. CS Machine learning, security, privacy, game theory, blockchain and related topics
Darko Marinov, Prof. CS Software engineering: software quality; functional testing; regression testing; performance testing
José Meseguer, Prof. CS Formal specification and verification, formal tools, logical foundations, and applications to software engineering, distributed systems, and high-assurance systems
Andrew Miller, Asst. Prof. ECE Computer security, focused on the design of secure decentralized systems and cryptocurrencies
Sayan Mitra, Prof. ECE Algorithms and software tools to enable creation of reliable computing systems
Sibin Mohan, Res. Asst. Prof. CS Computer systems, networks, and security, especially the interplay between these areas
Pierre Moulin, Prof. ECE Information forensics and security, watermarking, hashing, fingerprinting, steganography
Klara Nahrstedt, Prof.   CS Quality of Service (QoS) support, QoS routing, guaranteed services, QoS in wireless networks, multimedia and Internet security, Quality of Protection, wireless security in first responder systems, security in power grid SCADA networks, privacy in mobile phones.
David M. Nicol, Prof. ECE Cybersecurity, modeling & simulation of large-scale systems
Madhusudan Parthasarathy, Prof. CS Automating software verification; building correct-by-design secure distributed systems
Romit Roy Choudhury, Prof. ECE Privacy and security for IoT devices
William H. Sanders, Prof. ECE Dependability & security evaluation, architecting reliable distributed systems, computer systems modeling & analysis
Peter W. Sauer, Prof. ECE Cybersecurity of power system EMS
Lui Sha, Prof. CS Secure and robust control architectures; dependable real-time computing architecture
Shobha Vasudevan, Assoc. Prof. ECE System verification and security; analog and digital hardware validation
Pramod Viswanath, Prof. ECE First principle understanding and design of blockchains
Tianyin Xu, Asst. Prof. CS Computer system reliability and security

* CS = Computer Science; ECE = Electrical & Computer Engineering; IS = School of Information Sciences