Zobrazeno 1 - 10
of 101
pro vyhledávání: '"van der Meyden, Ron"'
The increasing wireless communication capabilities of vehicles creates opportunities for more efficient intersection management strategies. One promising approach is the replacement of traffic lights with a system wherein vehicles run protocols among
Externí odkaz:
http://arxiv.org/abs/2408.09499
Work on \emph{optimal} protocols for \emph{Eventual Byzantine Agreement} (EBA) -- protocols that, in a precise sense, decide as soon as possible in every run and guarantee that all nonfaulty agents decide on the same value -- has focused on emph{full
Externí odkaz:
http://arxiv.org/abs/2305.06271
Autor:
van der Meyden, Ron
Convertible instruments are contracts, used in venture financing, which give investors the right to receive shares in the venture in certain circumstances. In liquidity events, investors may have the option to either receive back their principal inve
Externí odkaz:
http://arxiv.org/abs/2111.12237
Autor:
van der Meyden, Ron
The paper develops a logical understanding of processes for signature of legal contracts, motivated by applications to legal recognition of smart contracts on blockchain platforms. A number of axioms and rules of inference are developed that can be u
Externí odkaz:
http://arxiv.org/abs/2002.09827
Autor:
van der Meyden, Ron
Blockchain systems and smart contracts provide ways to securely implement multi-party transactions without the use of trusted intermediaries, which currently underpin many commercial transactions. However, they do so by transferring trust to computer
Externí odkaz:
http://arxiv.org/abs/1811.06099
Autor:
van der Meyden, Ron
Publikováno v:
EPTCS 251, 2017, pp. 398-414
This paper shows that conditional independence reasoning can be applied to optimize epistemic model checking, in which one verifies that a model for a number of agents operating with imperfect information satisfies a formula expressed in a modal mult
Externí odkaz:
http://arxiv.org/abs/1707.08756
Publikováno v:
EPTCS 251, 2017, pp. 306-323
While there have been many attempts, going back to BAN logic, to base reasoning about security protocols on epistemic notions, they have not been all that successful. Arguably, this has been due to the particular logics chosen. We present a simple lo
Externí odkaz:
http://arxiv.org/abs/1707.08750
Autor:
van der Meyden, Ron
Conditional independence reasoning has been shown to be helpful in the context of Bayesian nets to optimize probabilistic inference, and related techniques have been applied to speed up a number of logical reasoning tasks in boolean logic by eliminat
Externí odkaz:
http://arxiv.org/abs/1610.03935
The literature on information flow security with respect to transitive policies has been concentrated largely on the case of policies with two security domains, High and Low, because of a presumption that more general policies can be reduced to this
Externí odkaz:
http://arxiv.org/abs/1605.00474
Autor:
Huang, Xiaowei, van der Meyden, Ron
Publikováno v:
EPTCS 202, 2016, pp. 120-137
Epistemic protocol specifications allow programs, for settings in which multiple agents act with incomplete information, to be described in terms of how actions are related to what the agents know. They are a variant of the knowledge-based programs o
Externí odkaz:
http://arxiv.org/abs/1602.01176