02:51 duration 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 essential in modern cryptography. There is a group of assumptions known as the “knowledge assumptions.” They assume that in order for the…
21:17 duration 21 minutes 17 seconds
cos326-2020-17-01-type-checking-rules
Type Checking: Part 1: Formal Rules