NSA People

Faculty Dept.* Information Security 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, Prof. ECE Security, performance, and availability properties of computing systems
M. Tamer Basar, 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, Assoc. 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, Prof. ECE Cybersecurity and privacy
Matthew Caesar, Assoc. Prof. CS Implementation of networked and distributed systems, with an emphasis on systems security
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
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
Dakshita Khurana, Asst. Prof. CS Cryptography and related topics in privacy, security, and theoretical computer science
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
Sasa Misailovic, Asst. Prof. CS Programming languages, compilers, and computing systems, with an emphasis on improving performance, energy efficiency, and resilience in the face of software errors and approximation opportunities.
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
Casey O'Brien ITI Network security, cybersecurity education and workforce development, capability maturity
Madhusudan Parthasarathy, Prof. CS Automating software verification; building correct-by-design secure distributed systems
Ling Ren, Asst. Prof. CS Cryptography, computer security, and distributed algorithms
Romit Roy Choudhury, Prof. ECE Privacy and security for IoT devices
Dominic Saebeler ITI Supply chain cybersecurity risk, critical infrastructure protection, privacy and information protection
William H. Sanders, Emeritus Prof. ECE Dependability & security evaluation, architecting reliable distributed systems, computer systems modeling & analysis
Peter W. Sauer, Emeritus 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
Gang Wang, Asst. Prof. CS Security and privacy, Internet measurements, mobile networks, and HCI, from data-driven perspectives
Yang Wang, Assoc. Prof. IS Privacy, security, and social computing
Tao Xie, Prof. CS Software testing, software analytics, software security, and intelligent software engineering
Tianyin Xu, Asst. Prof. CS Computer system reliability and security

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