Decentralized Applications, or DApps, provide distributed trusted applications that use
blockchains. They are often composed of several services, such as transaction scalability …

Although blockchains aim for immutability as their core feature, several instances have
exposed the harms with perfect immutability. The permanence of illicit content inserted in …

We present a model/executable specification of smart contract execution in Coq. Our
formalization allows for inter-contract communication and generalizes existing work by …

It is well-known that Asynchronous Total Order Broadcast (ATOB) requires randomisation
and that at most t< n/3 out of n players are corrupted. This is opposed to synchronous total …

Reputation is a major component of trustworthy systems. However, the subjective nature of
reputation, makes it tricky to base a system's security on it. In this work, we describe how to …

Although blockchains aim for immutability as their core feature, several instances have
exposed the harms with perfect immutability. The permanence of illicit content inserted in …

The development of Decentralised Blockchain Applications (DBA) is becoming more and
more complex. We formalise the development of DBA based on Business Process Modelling …

It is well-known that Atomic Broadcast (AB) in asynchronous networks requires
randomisation and that at most $ t< n/3$ out of $ n $ players are Byzantine corrupted. This is …

Reputation is a major component of trustworthy systems. In this work, we describe how to
leverage reputation to establish a highly scalable and efficient blockchain. In order to avoid …

With their seminal whitepaper “Bitcoin: A Peer-to-Peer Electronic Cash System” and its
implementation the author known by the pseudonym Satoshi Nakamoto sparked a chain of …