Seminar: Verifiable computation protocols

Time:

Venue/Location: B401, VIASM

Speaker: Đỗ Xuân Thành (Viện Khoa học Công nghệ Mật mã), Vũ Quốc Huy (Đại học Paris 2), Mạc Đăng Trường (Universite de Limoge)