Preimage Sampleable Trapdoor Function Note 0

OK! 49 posts in total. Keep on posting.

2022

04-20

Preimage Sampleable Trapdoor Function Note 0

04-07

Lattice-Based Zero-Knowledge Proof Note 0

2021

11-24

Notes on Leakage Resilient Secret Sharing 2

10-25

Notes on Leakage Resilient Secret Sharing 1

2020

09-10

Zero Knowledge Proof on PCP and SNARK

07-28

Cryptographic Lattice Geometry Note 2

07-23

Cryptographic Lattice Geometry Note 1

07-20

Cryptographic Lattice Geometry Note 0

07-11

Leftover Hash Lemma and Noise Smudging

05-12

Probabilistically Checkable and Interactive Proof Note 1

02-12

Graduate Cryptography Note 3

01-21

Graduate Cryptography Note 2

01-14

Graduate Cryptography Note 1

01-08

Category Theory Note 2 Newbie Composition and Morphisms

2019

12-28

Category Theory Note 1 Newbie Category of Sets

10-05

CS6620 Compiler Note 4 Path Sensitivity

10-04

CS6620 Compiler Note 3 Narrowing and Widening

09-28

CS6620 Compiler Note 2 Data Flow Analysis with Lattice

09-23

CS6620 Compiler Note 1 Lattice Basics

07-09

VE475 Cryptography Note 4

06-13

VE475 Cryptography Note 3

05-30

VE475 Cryptography Note 2

05-21

VE475 Cryptography Note 1

05-09

PFPL Chapter 20 System FPC of Recursive Types

04-23

迟来的卷首

04-23

PFPL Chapter 19 System PCF of Recursive Functions

04-18

PFPL Chapter 18 Higher Kinds

04-11

PFPL Chapter 17 Abstract Types

04-08

PFPL Chapter 16 System F of Polymorphic Types

03-28

PFPL Chapter 15 Inductive and Coinductive Types

03-25

PFPL Chapter 14 Generic Programming

03-20

PFPL Chapter 13 Classical Logic

03-17

PFPL Chapter 12 Constructive Logic

03-14

PFPL Chapter 11 Sum Types

03-12

PFPL Chapter 10 Product Types

03-04

PFPL Chapter 9 System T of Higher Order Recursion

03-02

PFPL Chapter 8 Function Definitions and Values

03-01

PFPL Chapter 7 Evaluation Dynamics

02-28

PFPL Chapter 6 Type Safety

02-26

PFPL Chapter 5 Dynamics

02-25

PFPL Chapter 4 Statics

02-15

PFPL Chapter 3 Hypothetical and General Judgments

2018

03-07

PFPL Chapter 2 Inductive Definitions

02-20

PFPL Chapter 1 Abstract Syntax Note

2017

02-20

codeforce-gym-101149-L

01-26

usaco-1-1-prob4-dp

01-25

analysis on dynamic programming

01-18

usaco-1-1

01-18

2017 facebook hackercup round1 solution