Professor Omar Chowdhury is the Principle Investigator for a grant recently awarded by the NSF.
The project, entitled "CRII: SaTC: A Principled Approach Aiding the Development of a Compliant Internet PKI," will focus on "reducing the attack surface of SSL/TLS and other applications that use X.509 [public-key infrastructure (PKI)] as the authentication provider by developing an automatic technique for detecting logical bugs in X.509 implementations. [...] In addition to its research impact, the techniques and research findings of this project will have a positive impact on the training of the future generation of computer security professionals."
This two-year project has been awarded $174,958.