We conduct research on a wide range of topics on systems and Internet security to develop techniques and tools aimed at prevention and detection of cyber attacks.
Thu 26 Nov 2015
Paper accepted at CODASPY'16 .
Thu 12 Nov 2015
We got awarded a DARPA research grant to tackle APTs. .
Thu 12 Nov 2015
We got awarded an NSF research grant to investigate malware delivery mechanisms. .
See news archive.
Web Security: We focus on vulnerability analysis and detection of web applications using static and dynamic code analysis, formal methods, and ideas from compilers and OSs.
Mobile Security: We focus on vulnerability analysis of mobile apps and mobile malware analysis.
Cybercrime: We focus on automated analysis of for-crime software to understand their behavior and build effective defenses.
Advanced Persistent Threats: We investigate robust techniques to analyze and detect advanced persistent threats.
MALDIVES: Developing a Comprehensive Understanding of Malware Delivery Mechanisms.
MARPLE: Mitigating APT Damage by Reasoning with Provenance in Large Enterprise Networks.
ESP-IGERT: Electronic Security and Privacy: Technological, Human, Enterprise and Legal Considerations.
CSFV: Crowd Sourced Formal Verification.
See all projects.