Media error: Format(s) not supported or source(s) not found
Download File: https://berlin-ak.ftp.media.ccc.de//events/rc3/2021/h264-hd/rc3-2021-import-304-eng-Formally_Verified_and_Publicly_Verifiable_E-counting_For_Complex_Voting_Schemes.mp4Download File: https://berlin-ak.ftp.media.ccc.de//events/rc3/2021/h264-hd/rc3-2021-import-304-deu-Formally_Verified_and_Publicly_Verifiable_E-counting_For_Complex_Voting_Schemes.mp4Download File: https://mirrors.dotsrc.org/cdn.media.ccc.de//events/rc3/2021/h264-hd/rc3-2021-import-304-eng-deu-Formally_Verified_and_Publicly_Verifiable_E-counting_For_Complex_Voting_Schemes_hd.mp4Download File: https://mirror.selfnet.de/CCC//events/rc3/2021/webm-hd/rc3-2021-import-304-eng-deu-Formally_Verified_and_Publicly_Verifiable_E-counting_For_Complex_Voting_Schemes_webm-hd.webmDownload File: https://ftp.agdsn.de/ccc//events/rc3/2021/h264-sd/rc3-2021-import-304-eng-deu-Formally_Verified_and_Publicly_Verifiable_E-counting_For_Complex_Voting_Schemes_sd.mp4Download File: https://mirror.netcologne.de/CCC//events/rc3/2021/webm-sd/rc3-2021-import-304-eng-deu-Formally_Verified_and_Publicly_Verifiable_E-counting_For_Complex_Voting_Schemes_webm-sd.webm