The following pages link to The Russian cards problem (Q1420803):
Displaying 34 items.
- A colouring protocol for the generalized Russian cards problem (Q391146) (← links)
- Additional constructions to solve the generalized Russian cards problem using combinatorial designs (Q406700) (← links)
- Information dynamics and uniform substitution (Q484920) (← links)
- On axiomatizations of public announcement logic (Q484925) (← links)
- A geometric protocol for cryptography with cards (Q488255) (← links)
- A case study in almost-perfect security for unconditionally secure communication (Q517272) (← links)
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- The secret of my success (Q857682) (← links)
- Secure aggregation of distributed information: how a team of agents can safely share secrets in front of a spy (Q897593) (← links)
- Group announcement logic (Q975877) (← links)
- Unconditional secure communication: a Russian cards protocol (Q987501) (← links)
- Knowledge condition games (Q1006447) (← links)
- Perfectly secure data aggregation via shifted projections (Q1615724) (← links)
- Positive announcements (Q2046881) (← links)
- Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
- Crossing hands in the Russian cards problem (Q2148821) (← links)
- Combinatorial solutions providing improved security for the generalized Russian cards problem (Q2248647) (← links)
- Proving possession of arbitrary secrets while not giving them away: New protocols and a proof in GNY logic (Q2500832) (← links)
- Arbitrary public announcement logic with memory (Q2686087) (← links)
- (Q2852032) (← links)
- Composing models (Q2901220) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- Three Steps (Q3092292) (← links)
- Schematic Validity in Dynamic Epistemic Logic: Decidability (Q3093998) (← links)
- Knowledge and Action in Semi-public Environments (Q3093999) (← links)
- Symbolic Model Checking for Dynamic Epistemic Logic (Q3457719) (← links)
- The case of the hidden hand (Q3647237) (← links)
- (Q5000284) (← links)
- (Q5028475) (← links)
- A public announcement separation logic (Q5377700) (← links)
- A distributed computing perspective of unconditionally secure information transmission in Russian cards problems (Q5918638) (← links)
- A distributed computing perspective of unconditionally secure information transmission in Russian cards problems (Q5925684) (← links)
- To be announced (Q6040661) (← links)
- Knowing how to plan about planning: higher-order and meta-level epistemic planning (Q6665710) (← links)
