Coveros Research Lab Projects

Making Innovations in Secure Software

We study various aspects of software security. This includes the design of secure applications; evaluation and certification of security products; threat analysis and software vulnerability analysis; and information privacy.

Additionally, our research in software development spans all aspects of making developers more productive, reducing the time to market, automating test and making software more trustworthy.

Current Projects


Maliciouis Code Protection

Secure Continuous Integration