Limitations of Wrapping Protocols and TLS Channel Bindings: Formal-Methods Analysis of the Session Binding Proxy Protocol. - Enis Golaszewski; Edward Zieglar; Alan T. Sherman; Kirellos Abou Elsaad; Jonathan D. Fuchs (SSR, 2024)