Principles of Security and Trust by Unknown

Author:Unknown
Language: eng
Format: epub
ISBN: 9783030171384
Publisher: Springer International Publishing

6 Conclusions

This paper has presented , the first DSL to enable formal verification of efficient source MPC programs as written in a full-featured host programming language, F. The paper presented examples such as joint median, card dealing, and PSI, and showed how the DSL enables their correctness and security proofs. implementation, examples, and proofs are publicly available on Github.

Acknowledgments

We would like to thank the anonymous reviewers, Catalin Hriţcu, and Matthew Hammer for helpful comments on drafts of this paper. This research was funded in part by the U.S. National Science Foundation under grants CNS-1563722, CNS-1314857, and CNS-1111599.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.