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

Unconditionally Secure Protocols with Genetic Algorithms. - Ignacio Hernández-Antón; Fernando Soler-Toscano; Hans van Ditmarsch (PAAMS (Special Sessions), 2012)