Author:
Firsov Denis,Laur Sven,Zhuchko Ekaterina
Publisher
Springer International Publishing
Reference7 articles.
1. Di Crescenzo, G., Katz, J., Ostrovsky, R., Smith, A.: Efficient and non-interactive non-malleable commitment. Cryptology ePrint Archive, Report 2001/032 (2001). https://ia.cr/2001/032
2. Firsov, D., Zhuchko, E., Laur, S.: Formal analysis of non-malleability for commitments in EasyCrypt (2022). https://github.com/dfirsov/comparison-based-non-malleabiltiy-unsat
3. Khalfaoui, S., Leneutre, J., Villard, A., Ma, J., Urien, P.: Security analysis of out-of-band device pairing protocols: a survey. Wirel. Commun. Mob. Comput. 2021, 1–30 (2021)
4. Koblitz, N., Menezes, A.: Critical perspectives on provable security: fifteen years of “another look’’ papers. Adv. Math. Commun. 13, 517–558 (2019)
5. Lecture Notes in Computer Science;S Laur,2006