Verification of cryptography with EasyCrypt, Feb 9

Embed
Klipi teostus: Maria Gaiduk 09.02.2015 6119 vaatamist Arvutiteadus


In part of the video, the video is not showing the board. However, board photos are available in the folder of the lecture.

Also, the edited code (shown on the projector) is available there.

 

Seotud videod

Verification of cryptography with EasyCrypt, Feb 2
16.02.15
Verification of cryptography with EasyCrypt, Mar 2
02.03.15
Verification of cryptography with EasyCrypt, Mar 9
09.03.15
Verification of cryptography with EasyCrypt, Mar 16
16.03.15
Verification of cryptography with EasyCrypt, Mar 23
23.03.15
Verification of cryptography with EasyCrypt, Mar 30
30.03.15
Verification of cryptography with EasyCrypt, Apr 13
13.04.15
Verification of cryptography with EasyCrypt, Apr 20
20.04.15
Verification of cryptography with EasyCrypt, Apr 27
27.04.15
Verification of cryptography with EasyCrypt, May 4
04.05.15
Verification of cryptography with EasyCrypt, May 11
11.05.15
Verification of cryptography with EasyCrypt, May 18
18.05.15
Verification of cryptography with EasyCrypt, May 25
25.05.15