How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation
收藏Figshare2017-04-13 更新2026-04-08 收录
下载链接：
https://figshare.com/articles/dataset/How_to_Simulate_It_in_Isabelle_Towards_Formal_Proof_for_Secure_Multi-Party_Computation/4873415/1
下载链接
链接失效反馈官方服务：
资源简介：
The formal proofs in Isabelle for the work shown in the paper as in the title.
创建时间：
2017-04-13
