FIERCE Lab is exploring techniques to automatically decompose large, monolithic applications for both security and reliability, where software development methods continue to produce bloated and insecure runtimes. The techniques we explore include: a compiler to automatically represent, analyze, and reason about separation; an underlying operating system abstraction and mechanism for efficiently enforcing protection; and an automated transformation system. Core outcomes include new runtime support for isolation and auditing of applications as well as minimizing the damage of exploited vulnerabilities.

Before applying for this opportunity you need to submit your online profile. Click the button below to continue.