Language-Based Security and Privacy

The focus of the Language-Based Security group is on the development of technology that helps detect or prevent implementation flaws in security and privacy-critical software. Specifically, we are investigating the role of advanced type systems for tracking information flow in programs; new compiler techniques and hardware designs for enforcing security policies in an efficient fashion; new languages for specification of policies; and new techniques for minimizing the needs to trust software and hardware.