How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation
收藏数据链接：
官方服务：
资源简介：
The formal proofs in Isabelle for the work shown in the paper as in the title.
提供机构：
figshare创建时间：
2017-04-13
社区交流群
科研交流群
商业服务
The formal proofs in Isabelle for the work shown in the paper as in the title.