S
Somesh Jha
Sheldon B. and Marianne S. Lubar Chair and Professor
Research Interests
Advanced Malware Detection Techniques
Formal Methods in Verification
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
Security and Verification in Computing