{"version":"1.0","type":"video","provider_name":"media.ccc.de","provider_url":"https://media.ccc.de","width":640,"height":360,"title":"Formally Verified and Publicly Verifiable E-counting For Complex Voting Schemes","author":"Rajeev Gore","thumbnail_url":"https://static.media.ccc.de/media/events/rc3/2021/304-491f138d-f7a3-5b01-82dd-c3829cf0fae5.jpg","html":"\u003ciframe src=\"https://media.ccc.de/v/rc3-2021-fem-304-formally-verified-and-p/oembed\" width=\"640\" height=\"360\" frameborder=\"0\" title=\"Formally Verified and Publicly Verifiable E-counting For Complex Voting Schemes\" allowfullscreen scrolling=\"no\"\u003e\u003c/iframe\u003e\n"}