Cryptography
user4242's user avatar
user4242's user avatar
user4242's user avatar
user4242
  • Member for 4 years, 11 months
  • Last seen this week
  • Doesn't matter
Profile Activity
Stats
223
reputation
1k
reached
1
answer
6
questions
Communities
View all
About

Interested in provable security properties from minimal assumptions.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
Top tags
View all tags
0
Score
3
Posts
43
Posts %
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
Top posts
All Questions Answers
Score Newest
question
4
If trapdoor OWF exists then f is a trapdoor OWF, is there such a construction?
Oct 7, 2018
question
4
Cryptomania and NP $\cap$ co-NP
Mar 31, 2021
question
3
Assumptions on zero-knowledge proofs without trusted setup
May 28
question
1
Post-quantum EU-CMA security from OWF-only
Aug 27
answer
0
Key exchange from discrete logarithm only
Jun 25
question
0
Key exchange protocols non-reducible to groups
Oct 7, 2018
question
0
Key exchange from discrete logarithm only
Jun 25
Top network posts
View all network posts
8
Type theory and fixed points of datatypes
8
Isbell duality between algebras and sheaves
7
Strongly normalizing type theory beyond induction-recursion
7
Does ST$\lambda$C equal to simple type theory?
7
Can you build W-types out of natural numbers predicatively?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.