02:51
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
cos326-2020-17-01-type-checking-rules
Type Checking: Part 1: Formal Rules