Discusses the limitations of TCP, the TLS Handshake, and the vulnerabilities in TLS protocols, emphasizing the importance of provable security in TLS 1.3.
Explores compositions of applications and injectivity conditions in linear algebra, including restriction of applications and combinatorial proof of injections.