Periodic Reporting for period 4 - CIRCUS (An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications)

The security of modern web applications depends on cryptographic components like the Transport Layer Security (TLS) protocol, which is deployed in all web browsers and servers.However, despite their widespread use, their security guarantees remain poorly understood, resulting...