How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation
收藏DataCite Commons2020-09-02 更新2024-07-25 收录
下载链接：
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.
提供机构：
figshare
创建时间：
2017-04-13
