Questions tagged [game]
The game tag has no usage guidance.
12
questions
4
votes
1
answer
55
views
sUF-CMA security of Lyubashevsky's ID and signature protocol
I have been working on the post-quantum safe ID/signature-schemes of Vadim Lyubashevsky (https://www.iacr.org/archive/asiacrypt2009/59120596/59120596.pdf).
I am in particular studying the security ...
- 117
1
vote
1
answer
134
views
Proving semantic security implies security from key-recovery attack
I am working on problem 2.11 from the book: A Graduate Course in Applied Cryptography by Dan Boneh and Victor Shoup. The problem reads as follows:
Problem 2.11: Let $\mathcal{E} = (E, D)$ be a cipher ...
- 115
0
votes
2
answers
48
views
How to understand "Test() query can only be issued to a fresh session" in game-based security proof?
In game-based security proof for key-exchange protocols, there is a Test query. The Test(U) query typically is only available to the adversary if the attacked instance U is fresh. (U represents either ...
- 29
1
vote
1
answer
281
views
What exactly is a game, challenger, and adversary?
Here is my understanding of the concept of security games. I bolded some parts that I am not sure about.
A cryptographic object is formally defined by its algorithms and what security notions it ...
- 375
2
votes
1
answer
109
views
Hiding/Obscuring position information in a board game (Part 2)
This is basically a follow-up question to Hiding/Obscuring position information in a board game which technically answered the question, but raised some well deserved critique.
To quickly summarize ...
- 161
4
votes
1
answer
151
views
Hiding/Obscuring position information in a board game
There has been a question on the BoardGameGeek forums that basically boils down to this:
There is a player character on a regular rectangle map at position (px,py).
There is one "AI" ...
- 161
2
votes
0
answers
58
views
Does the PRG game allow for bad randomness picks?
In the game-based definition, we say that $G: \{ 0, 1 \}^n \rightarrow \{ 0, 1 \}^{\ell(n)}$ is a pseudorandom generator if For all ppt distinguishers $D$, there exists a negligible function $\nu$ ...
- 375
1
vote
0
answers
223
views
Building an Adversary for a PRF game
Here is the game:
How can I make an $\mathcal{O}(k^2)$-time adversary making only one query to its Fn oracle and achieving advantage $= 1 - 1/(p-1)$
Here is my idea so far:
query $2^{-1}$, which when ...
- 21
0
votes
0
answers
30
views
How can we prove that the advantage for this hide game for any adversary is equal 0?
Here is the Scheme:
Here is the HIDE game:
Here is my idea but I am not quite sure. I would appreciate some input.
We want to bring advantage = 0 for all adversaries. We can show that advantage = 0 ...
- 21
1
vote
1
answer
277
views
How are probabilities combined in the game hopping proof technique?
I'm currently studying a paper (Sequences of Games: A Tool for Taming Complexity in Security Proofs) on proving semantic security using the Game Hopping technique by Victor Shoup.
On pages 9-11, he is ...
- 826
1
vote
0
answers
54
views
Algorithmic game theory and protocol design for communication
There is a field of exchanging information that combines cryptography and game theory. I am interested in understanding this field, but it's a little complex for me. To begin with there is a paper of ...
- 279
0
votes
0
answers
72
views
MAC Security - MAC verification queries
In the applied cryptography book by Boneh and Shoup, Chapter 6 on MACs, it is stated that an adversary that is also capable of requesting the challenger for verification queries (in addition to ...
- 1,048