Software Security

The SEECSC software security researchers study mechanisms for improving software security and avoiding insecure behaviors. Main focus of the research is exploring security policies with main goal on providing guarantees that software performs in compliance with chosen policies and simplifying the tasks of identifying and implementing such policies.