project . 2016 - 2021 . Closed

CIRCUS

An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications
Open Access mandate for Publications European Commission
  • Funder: European CommissionProject code: 683032 Call for proposal: ERC-2015-CoG
  • Funded under: H2020 | ERC | ERC-COG Overall Budget: 1,885,250 EURFunder Contribution: 1,885,250 EUR
  • Status: Closed
  • Start Date
    01 Apr 2016
    End Date
    31 Mar 2021
  • Detailed project information (CORDIS)
  • Open Access mandate
    Research Data: No
Description
The security of modern web applications depends on a variety of critical components including cryptographic libraries, Transport Layer Security (TLS), browser security mechanisms, and single sign-on protocols. Although these components are widely used, their security guarantees remain poorly understood, leading to subtle bugs and frequent attacks. Rather than fixing one attack at a time, we advocate the use of formal security verification to identify and eliminate entire classes of vulnerabilities in one go. With the aid of my ERC starting grant, I have built a team that has already achieved landmark results in this direction. We built the first TLS implementati...
Partners
Description
The security of modern web applications depends on a variety of critical components including cryptographic libraries, Transport Layer Security (TLS), browser security mechanisms, and single sign-on protocols. Although these components are widely used, their security guarantees remain poorly understood, leading to subtle bugs and frequent attacks. Rather than fixing one attack at a time, we advocate the use of formal security verification to identify and eliminate entire classes of vulnerabilities in one go. With the aid of my ERC starting grant, I have built a team that has already achieved landmark results in this direction. We built the first TLS implementati...
Partners
Any information missing or wrong?Report an Issue