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