Tag - #foundations
A Sketch of Synthetic Cryptography
2023-06-22
#category-theory
#cryptography
#foundations
Some MPS Utilities
2023-02-23
#cryptography
#foundations
#protocols
Cryptography without Security
2023-02-19
#cryptography
#foundations
Notes on Chosen Generator Discrete Logarithms
2022-11-01
#cryptography
#foundations
#math
#programming
Some KEMs and Some Proofs
2022-08-14
#cryptography
#foundations
#kems
On Defining the One More Discrete Logarithm Problem
2022-06-02
#cryptography
#foundations
State-Separable Proofs for the Curious Cryptographer
2022-05-28
#cryptography
#foundations
Bit Flipping in State Separable Proofs
2022-05-03
#cryptography
#foundations
#math
Some More Notes on Formalizing Games
2022-02-18
#cryptography
#foundations
#math
#programming
On Formalizing Security Games
2022-02-17
#cryptography
#foundations
#math
#programming
