Since the inception of Bitcoin, a plethora of distributed ledgers differing in design and
purpose has been created. While by design, blockchains provide no means to securely …

Why are living things alive? As a theoretical biologist, Robert Rosen saw this as the most
fundamental of all questions-and yet it had never been answered satisfactorily by science …

The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security
Protocols and Applications. It provides a modular and expressive formal language for …

Security protocols are one of the most critical elements in enabling the secure
communication and processing of information, ensuring its confidentiality, integrity …

We present a new protocol that allows two players to exchange digital signatures over the
Internet in a fair way, so that either each player gets the other's signature, or neither player …

Many cryptographic tasks and protocols, such as non-repudiation, contract-signing, voting,
auction, identity-based encryption, and certain forms of secure multi-party computation …

We attempt to formally de ne the strong fair exchange problem and present a proof that it is
impossible to solve strong fair exchange without a trusted third party. The proof is …

This paper proposes an encoder-decoder network to disentangle shape features during 3D
face shape reconstruction from single 2D images, such that the tasks of learning …

With the phenomenal growth of the Internet and open networks in general, security services,
such as non-repudiation, become crucial to many applications. Non-repudiation services …

Fog computing can be viewed as an extension of cloud computing that enables transactions
and resources at the edge of the network. In the paradigms of fog computing, the fog user …