1. Aly, A., Ashur, T., Ben-Sasson, E., Dhooghe, S., Szepieniec, A.: Design of symmetric-key primitives for advanced cryptographic protocols. IACR Trans. Symm. Cryptol. 2020(3), 1–45 (2020)
2. Part II, volume 9666 of LNCS;M Andrychowicz,2016
3. Lecture Notes in Computer Science;M Albrecht,2016
4. Lecture Notes in Computer Science;MR Albrecht,2015
5. Lecture Notes in Computer Science;G Barthe,2015