AI Innovation Institute

Research in the Reliable System Lab spans a variety of topics, including: computer security, especially analysis, learning, and enforcement of security policies, and software diversity for security; specification and verification of software, especially software for distributed systems; program analysis and optimization, especially optimizations based on incremental computation; and runtime monitoring, especially runtime assurance for embedded systems.

PragSec stands for "Pragmatic Security." In the PragSec lab, we work on a wide range of exciting research areas including:

• Large scale measurement studies to assess the security and privacy of the web;
• Client-side defense mechanisms that protect users against multiple threats without relying on external help;
• Understanding and defending against abuse at the Domain Name System;
• Studying underground economies and identifying points of intervention.