02:51duration 2 minutes 51 seconds
How do we know what we know? -- as a mathematical…
How do we know what we know? -- as a mathematical question. Designing knowledge assumptions and asymmetric encryption schemes in lattice-based cryptography., Yuxi Zheng, UG '23 (2279885)
Assumptions of various hard problems are…
21:17duration 21 minutes 17 seconds
cos326-2020-17-01-type-checking-rules
Type Checking: Part 1: Formal Rules