Peer-to-peer Autonomous Agent Communication Network

Lokman Rahmani, David Minarsch, Jonathan Ward

Reliable and secure communication between heterogeneously resourced autonomous agents controlled by competing stakeholders in a decentralized environment is a challenge. Agents require a means to find each other and communicate without reliance on a centralized party and participation in the system must be permissionless.

Trading Agent Competition with Autonomous Economic Agents

David Minarsch, Seyed Ali Hosseini, Marco Favorito, and Jonathan Ward

We provide a case study for the Autonomous Economic Agent (AEA) framework; a toolkit for the development and deployment of autonomous agents with a focus on economic activities. The use case is the trading agent competition (TAC). It is a competition between autonomous agents with customizable strategies and market parameters.

Autonomous Economic Agents as a Second Layer Technology for Blockchains

David Minarsch, Seyed Ali Hosseini, Marco Favorito, and Jonathan Ward

The user experience of interacting with distributed ledger technologies (DLT) is fraught with excessive complexity, high risk and unintuitive processes. Moreover, smart contracts deployed in these systems are restricted to being reactive.

Fully Distributed Verifiable Random Functions and their Application to Decentralised Random Beacons

David Galindo, Jia Liu, Mihai Ordean and Jin-Mann Wong

We provide a systematic analysis of two multiparty protocols, namely Distributed Verifiable Random Functions (DVRFs) and Decentralised Random Beacons (DRBs), including their syntax and definition of robustness and privacy properties.

Robust Subgroup Multi-Signatures for Consensus

David Galindo and Jia Liu

We introduce a new multi-signature variant called robust subgroup multi-signatures, whereby any eligible subgroup of signers from the global set can produce a multi-signature on behalf of the group, even in the presence of a byzantine adversary. We propose several constructions that improve multi-signature computation time.

An Offline Delegatable Cryptocurrency System

Rujia Li, Qin Wang, Xinrui Zhang, Qi Wang, David Galindo and Yang Xiang

We propose DelegaCoin, an offline delegatable cryptocurrency system that uses trusted execution environments (TEEs) as decentralized "virtual agents" to prevent malicious delegation. In DelegaCoin, an owner can delegate his coins through offline-transactions without interacting with the blockchain network.

A Practical Framework for General Dialogue-based Bilateral Interactions

Seyed Ali Hosseini, David Minarsch, Marco Favorito

For autonomous agents and services to cooperate and interact in multiagent environments they require well-defined protocols. A multitude of protocol languages for multi-agent systems have been proposed in the past, but they have mostly remained theoretical or have limited prototypical implementations.

Symbolic modelling of remote attestation protocols for device and app integrity on Android

Abdulla Aldoseri, Tom Chothia, José Moreira, David F. Oswald

Automatic verification of transparency protocols

Vincent Cheval, José Moreira, Mark Ryan

Protocols for a Two-Tiered Trusted Computing Base

José Moreira, Mark Ryan, Flavio D. Garcia

Transparent Registration-Based Encryption through Blockchain

Qin Wang, Rujia Li, Qi Wang, David Galindo, Shiping Chen, Yang Xiang

SoK: TEE-Assisted Confidential Smart Contract

Rujia Li, Qin Wang, Qi Wang, David Galindo, Mark Ryan

Robust Subgroup Multi-Signatures for Consensus

David Galindo, Jia Liu