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