- idUS
- Listar por autor
Listar por autor "Fernández Duque, David"
Mostrando ítems 1-6 de 6
-
Artículo
A colouring protocol for the generalized Russian cards problem
Cordón Franco, Andrés; Ditmarsch, Hans P. van; Fernández Duque, David; Soler Toscano, Fernando (Elsevier, 2013)In the generalized Russian cards problem, Alice, Bob and Cath draw a, b and c cards, respectively, from a deck of size a ...
-
Artículo
A geometric protocol for cryptography with cards
Cordón Franco, Andrés; Ditmarsch, Hans P. van; Fernández Duque, David; Soler Toscano, Fernando (Springer, 2015)In the generalized Russian cards problem, the three players Alice, Bob and Cath draw a, b and c cards, respectively, from ...
-
Artículo
A secure additive protocol for card players
Cordón Franco, Andrés; Ditmarsch, Hans P. van; Fernández Duque, David; Joosten, Joost J.; Soler Toscano, Fernando (University of Queensland, 2012)Consider three players Alice, Bob and Cath who hold a, b and c cards, respectively, from a deck of d=a+b+c cards. The cards ...
-
Artículo
Dynamic Topological Logic of Metric Spaces
Fernández Duque, David (Cambridge University Press, 2012)Dynamic Topological Logic (DT L) is a modal framework for reasoning about dynamical systems, that is, pairs hX; fi where ...
-
Artículo
Predicativity through Transfinite Reflection
Cordón Franco, Andrés; Fernández Duque, David; Joosten, Joost J.; Lara Martín, Francisco Félix (The Association for Symbolic Logic, 2017)Let T be a second-order arithmetical theory, Λ a well-order, λ < Λ and X ⊆ ℕ. We use as a formalization of “φ is provable ...
-
Ponencia
Secure Communication of Local States in Interpreted Systems
Albert, Michael; Cordón Franco, Andrés; Ditmarsch, Hans P. van; Fernández Duque, David; Joosten, Joost J.; Soler Toscano, Fernando (Springer, 2011)Given an interpreted system, we investigate ways for two agents to communicate secrets by public announcements. For card ...