Questions tagged [reduction]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1
vote
0answers
29 views

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

I've a problem with a protocol for which I can prove the security if the messages sent by the adversary are sent in clear, but I can't prove the security anymore if the messages sent by the adversary ...