Cremers, Cas; Naor, Moni; Paz, Shahar; Ronen, Eyal CHIP and CRISP: protecting all parties against compromise through identity-binding PAKEs. (English) Zbl 1517.94186 Dodis, Yevgeniy (ed.) et al., Advances in cryptology – CRYPTO 2022. 42nd annual international cryptology conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15–18, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13508, 668-698 (2022). MSC: 94A62 94A60 68P25 PDFBibTeX XMLCite \textit{C. Cremers} et al., Lect. Notes Comput. Sci. 13508, 668--698 (2022; Zbl 1517.94186) Full Text: DOI
Andova, Suzana; Cremers, Cas; Gjøsteen, Kristian; Mauw, Sjouke; Mjølsnes, Stig F.; Radomirović, Saša A framework for compositional verification of security protocols. (English) Zbl 1147.68389 Inf. Comput. 206, No. 2-4, 425-459 (2008). MSC: 68M12 PDFBibTeX XMLCite \textit{S. Andova} et al., Inf. Comput. 206, No. 2--4, 425--459 (2008; Zbl 1147.68389) Full Text: DOI Link