Melissen, M. (2013). Game-theory and Logic for Non-repudiation Protocols and Attack Analysis [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/15540 |
Jamroga, W., Melissen, M., & Schnoor, H. (2013). Incentives and Rationality in Security of Interaction Protocols. In PRIMA 2013: Principles and Practice of Multi-Agent Systems. Proceedings. Peer reviewed |
Jamroga, W., Mauw, S., & Melissen, M. (2012). Fairness in Non-repudiation Protocols. In Proceedings of STM 2011 (pp. 122-139). Springer. Peer reviewed |
Melissen, M. (2011). The Generative Capacity of the Lambek-Grishin Calculus: A New Lower Bound. In Proceedings of Formal Grammar 2009 (pp. 118–132). Springer. doi:10.1007/978-3-642-20169-1\_8 Peer reviewed |
Jamroga, W., & Melissen, M. (2011). Doubtful Deviations and Farsighted Play. In Progress in Artificial Intelligence, Proceedings of the 15th Portuguese Conference on Artificial Intelligence (pp. 506–520). Springer. doi:10.1007/978-3-642-24769-9\_37 Peer reviewed |
Kordy, B., Mauw, S., Melissen, M., & Schweitzer, P. (2010). Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent. In Proceedings of GameSec 2010 (pp. 245-256). Springer. doi:10.1007/978-3-642-17197-0_17 Peer reviewed |