The Generative Capacity of the Lambek-Grishin Calculus: A New Lower Bound. - Matthijs Melissen (FG, 2009)

Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent. - Barbara Kordy; Sjouke Mauw; Matthijs Melissen; Patrick Schweitzer (GameSec, 2010)

Doubtful Deviations and Farsighted Play. - Wojciech Jamroga; Matthijs Melissen (EPIA, 2011)

Fairness in Non-Repudiation Protocols. - Wojciech Jamroga; Sjouke Mauw; Matthijs Melissen (STM, 2011)

Defendable Security in Interaction Protocols. - Wojciech Jamroga; Matthijs Melissen; Henning Schnoor (PRIMA, 2013)

On Defendability of Security Properties. - Wojciech Jamroga; Matthijs Melissen; Henning Schnoor (SR, 2014)