The goal of this research area is to develop fundamentally new formalisms, techniques and tools for efficient development and deployment of reliable, secure and efficient software. The group focuses on the three interconnected areas of programming languages, software engineering and security.
Verification, Automated Reasoning, Program Optimization, Formal Methods, Program Analysis
Intrusion Detection, Elections and e-Voting, Social Networking, Identity Management, Adversarial Machine Learning
Automated Bug Finding, Naturalness of Software