Foundations of Programmable Secure Computation

This paper formalises the security of programmable secure computation focusing on simplifying security proofs of new algorithms for existing computation frameworks. Security of the frameworks is usually well established but the security proofs of the algorithms are often more intuitive than rigorous...

全面介紹

書目詳細資料

發表在:	Cryptography
Main Authors:	Sven Laur, Pille Pullonen-Raudvere
格式:	Article
語言:	英语
出版:	MDPI AG 2021-08-01
主題:	secure multiparty computation security proofs universal composability reactive simulatability secret sharing provable security
在線閱讀:	https://www.mdpi.com/2410-387X/5/3/22