Matthijs Melissen

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Multiagent Systems

Interaction Protocols

Security Properties

Top Venues

Publications

Wojciech Jamroga, Matthijs Melissen, Henning Schnoor
On Defendability of Security Properties. SR (2014)
Wojciech Jamroga, Matthijs Melissen, Henning Schnoor
Defendable Security in Interaction Protocols. PRIMA (2013)
Wojciech Jamroga, Sjouke Mauw, Matthijs Melissen
Fairness in Non-Repudiation Protocols. STM (2011)
Wojciech Jamroga, Matthijs Melissen
Doubtful Deviations and Farsighted Play. EPIA (2011)
Barbara Kordy, Sjouke Mauw, Matthijs Melissen, Patrick Schweitzer
Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent. GameSec (2010)
Barbara Kordy, Sjouke Mauw, Matthijs Melissen, Patrick Schweitzer
Attack--Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent CoRR (2010)
Matthijs Melissen
The Generative Capacity of the Lambek-Grishin Calculus: A New Lower Bound. FG (2009)