Computer aided Verification and Software Synthesis for Secure Multi Party Computation Protocols 0818

Name: Computer aided Verification and Software Synthesis for Secure Multi Party Computation Protocols 0818
Uploaded: 2019-01-01
Duration: 35 min 12 s
Description: Computer aided Verification and Software Synthesis for Secure Multi Party Computation Protocols 0818 — a 2019 ACS'19 - Affilliated Event at Crypto 2019 security conference talk on crypto (35:12 min). Watch the full video, indexed free on the Breach Arc Archive.

ACS'19 - Affilliated Event at Crypto 2019 · 2019 · 35:12

▶

Computer aided Verification and Software Synthesis for Secure Multi Party Computation Protocols 0818 — a 2019 ACS'19 - Affilliated Event at Crypto 2019 security conference talk on crypto (35:12 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive