Léo Colisson's user avatar
Léo Colisson's user avatar
Léo Colisson's user avatar
Léo Colisson
  • Member for 5 years, 10 months
  • Last seen more than a month ago
26 votes
7 answers
5k views

Is there any famous protocol that were proven secure but whose proof was wrong and lead to real world attacks?

8 votes
2 answers
823 views

LWE: Round a continuous Gaussian to a true Discrete Gaussian

4 votes
1 answer
256 views

LWE with identity sub-matrix and reused sampled from [MP12]: why is it secure?

3 votes
1 answer
98 views

Is it common/valid to hardcode an element of a language into a simulator?

3 votes
0 answers
150 views

Equivalents of Yao's Xor lemma to rounds, or other hardness amplification methods?

3 votes
1 answer
247 views

LWE secure with one entry without noise

3 votes
1 answer
680 views

DSA: why using mod p mod q and not just mod p

2 votes
2 answers
1k views

Compute discrete logarithm mod $n=p \times q$ knowing factorisation

2 votes
0 answers
117 views

Leftover hash lemma-like without lossy functions

2 votes
0 answers
93 views

Security of LWE when a small leakage is allowed on the noise

1 vote
0 answers
58 views

Provable security: impossible reduction when messages are encrypted/semantic security with function depending on the output of adversary

1 vote
0 answers
48 views

Abstract Cryptography: why local simulators?

1 vote
0 answers
58 views

Zero-knowledge with leakage about the witness