Commitments help model interactions in multiagent systems in a computationally realizable yet high-level manner without compromising the autonomy and heterogeneity of the member agents. Recent work shows how to combine commitments with goals and apply planning methods to enable agents to determine their actions. However, previous approaches to modeling commitments are confined to propositional ...

We present the first provably secure constructions of universally composable (UC) commitments (in pairing-friendly groups) that simultaneously combine the key properties of being non-interactive, supporting commitments to strings (instead of bits only), and offering reusability of the common reference string for multiple commitments. Our schemes are also adaptively secure assuming reliable eras...

This pilot study explores the balancing of conflicting family and forensic commitments among forensic experts. Drawing upon consumer preference theory and behavioral economics, the authors devised an instrument to elicit choices between upholding family commitments and professional commitments. The instrument was administered to 15 forensic experts, and the data were used to construct trading f...

Cryptographic agility is the ability to switch to larger cryptographic parameters or different algorithms in the case of security doubts. This very desirable property of cryptographic systems is inherently difficult to achieve in cryptocurrencies due to their permanent state in the blockchain: for example, if it turns out that the employed signature scheme is insecure, a switch to a different s...

Intentions are an important concept in Cogni-tive Science and Artiicial Intelligence (AI). Perhaps the salient property of (future-directed) intentions is that the agents who have them are committed to them. If intentions are to be seriously used in Cognitive Science and AI, a rigorous theory of commitment must be developed that relates it to the rationality of limited agents. Unfortunately, th...

In this paper I provide an outline of a new kind of constitutive account of self-knowledge. It is argued that in order for the model properly to explain transparency, a further category of propositional attitudes—called “commitments”—has to be countenanced. It is also maintained that constitutive theories can’t remain neutral on the issue of the possession of psychological concepts, and a propo...

We introduce and formally define all-but-k mercurial commitments, a new kind cryptographic commitment that generalizes standard mercurial and non-mercurial (vector) commitments. We provide two concrete constructions for all-but-k mercurial commitments: the first is for committing to unordered lists (i.e., to multisets) and the second is for committing to ordered lists (i.e., to vectors). Both o...