Ignacio Hernández-Antón

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Dynamic Epistemic Logic

Public Key Cryptosystems

Top Venues

PAAMS (Special Sessions)

Publications

Ignacio Hernández-Antón, Fernando Soler-Toscano, Hans van Ditmarsch
Unconditionally Secure Protocols with Genetic Algorithms. PAAMS (Special Sessions) (2012)
Hans van Ditmarsch, Jan van Eijck, Ignacio Hernández-Antón, Floor Sietsma, Sunil Simon, Fernando Soler-Toscano
Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. PAAMS (Special Sessions) (2012)