Author:
Brzuska Chris,Delignat-Lavaud Antoine,Egger Christoph,Fournet Cédric,Kohbrok Konrad,Kohlweiss Markulf
Publisher
Springer Nature Switzerland
Reference53 articles.
1. Lecture Notes in Computer Science;M Abdalla,2001
2. Adrian, D., et al.: Imperfect forward secrecy: how Diffie-Hellman fails in practice. In: ACM CCS 2015, pp. 5–17. ACM Press (2015). https://doi.org/10.1145/2810103.2813707
3. AlFardan, N.J., Paterson, K.G.: Lucky thirteen: breaking the TLS and DTLS record protocols. In: 2013 S &P, pp. 526–540. IEEE (2013). https://doi.org/10.1109/SP.2013.42
4. Arfaoui, G., Bultel, X., Fouque, P.A., Nedelcu, A., Onete, C.: The privacy of the TLS 1.3 protocol. PoPETs 2019(4), 190–210 (2019). https://doi.org/10.2478/popets-2019-0065
5. Aviram, N., et al.: DROWN: breaking TLS using SSLv2. In: USENIX Security 2016, pp. 689–706. USENIX (2016)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq;ACM Transactions on Programming Languages and Systems;2023-07-20
2. A State-Separating Proof for Yao's Garbling Scheme;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07
3. When Messages Are Keys: Is HMAC a Dual-PRF?;Advances in Cryptology – CRYPTO 2023;2023