Proofs that yield nothing but their validity and a methodology of cryptographic protocol design

research-article Share on Proofs that yield nothing but their validity and a methodology of cryptographic protocol design Authors: Oded Goldreich Technion TechnionView Profile , Silvio Micali MIT MITView Profile , Avi Wigderson Hebrew University Hebrew UniversityView Profile Authors Info & Claims Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio MicaliOctober 2019 Pages 285–306https://doi.org/10.1145/3335741.3335754Published:04 October 2019Publication History 0citation215DownloadsMetricsTotal Citations0Total Downloads215Last 12 Months13Last 6 weeks3 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access

Proofs that yield nothing but their validity and a methodology of cryptographic protocol design | Litlas