1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.CR2014★ 1 cited
On Defendability of Security Properties
Wojciech Jamroga, Matthijs Melissen, Henning Schnoor
We study the security of interaction protocols when incentives of participants are taken into account. We begin by formally defining correctness of a protocol, given a notion of ra…
q-bio.NC2012
Are insight problems really different from noninsight problems?
Matthijs Melissen
In this text, I will suggest an electroencephalogram (EEG) experiment with which it will be possible to see whether there is biological evidence for the frequently made distinction…
cs.CR2010★ 1 cited
Attack--Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent - Technical Report with Proofs
Barbara Kordy, Sjouke Mauw, Matthijs Melissen +1
Attack--defense trees are used to describe security weaknesses of a system and possible countermeasures. In this paper, the connection between attack--defense trees and game theory…