Formalizing and Securing Relationships on Public Networks

TL;DR: Blockchain technique used in Bitcoin is a public, distributed, and append-only ledger that is maintained and governed by a group of financially motivated miners who do not trust each other.

TL;DR: A survey of recent studies on the impact of digitalization, and particularly blockchain technology, on corporate governance and the principal-agent conflict in companies is presented in this paper, where the most frequent instances of conflict are related to the composition of boards of directors and compensation schemes observed at shareholder voting.

TL;DR: In this article, the authors build a model of coexisting exchanges, in which a centralized exchange with the traditional order-book mechanism operates in parallel with a decentralized exchange with constant product market makers (CPMM).

TL;DR: A formalisation of Solidity and the Ethereum blockchain using the Solid language and its blockchain is presented; a Solid program is obtained by explicating/desugaring a Solidity program and some abstractions are made that over-approximate the way in which Solidity/Ethereum behave.

Abstract: Three years ago, I read Michael Polanyi's contribution—as a philosopher—to a symposium entitled Scientific Outlook: Its Sickness and Cure . In a brilliant, penetrating, and delightfully humorous criticism of R. W. Gerard's 1 biological contribution, he unerringly diagnosed the sickness of medicine: The fact that a so learned, ingenious and imaginative survey of living beings should deal so perfunctorily with some of the most important questions concerning them shows a fundamental deficiency of human thinking.... If a rat laps up a solution of saccharine, the rational explanation of this lies in the act that the solution tastes sweet and that the rat likes that. The tasting and liking are facts that physics and chemistry as known today cannot explain. Nothing is relevant to biology, even at the lowest level of life, unless it bears on the achievements of living beings... and distinctions unknown to physics and chemistry... The current idea of

TL;DR: The objective of this paper is to give a comprehensive introduction to applied cryptography with an engineer or computer scientist in mind on the knowledge needed to create practical systems which supports integrity, confidentiality, or authenticity.

TL;DR: The Electronic Data Interchange (EDI) as the first step of the internal re-engineering of business processes to electronic commerce is discussed in this article, where a cost-justification model and an extensive list of business documents that are today's biggest EDI hitters are presented.