Smart contract technology is reshaping conventional industry and business processes.
Being embedded in blockchains, smart contracts enable the contractual terms of an …

Blockchain technology is believed by many to be a game changer in many application
domains. While the first generation of blockchain technology (ie, Blockchain 1.0) is almost …

Decentralized cryptocurrencies feature the use of blockchain to transfer values among peers
on networks without central agency. Smart contracts are programs running on top of the …

Smart contracts are computer programs that can be correctly executed by a network of
mutually distrusting nodes, without the need of an external trusted authority. Since smart …

Ethereum is a framework for cryptocurrencies which uses blockchain technology to provide
an open global computing platform, called the Ethereum Virtual Machine (EVM). EVM …

Blockchain is the promising technology of recent years, which has attracted remarkable
attention in both academic studies and practical industrial applications. The smart contract is …

Rust is a new systems programming language that promises to overcome the seemingly
fundamental tradeoff between high-level safety guarantees and low-level control over …

Computer-aided cryptography is an active area of research that develops and applies
formal, machine-checkable approaches to the design, analysis, and implementation of …

TLS 1.3 is the next version of the Transport Layer Security (TLS) protocol. Its clean-slate
design is a reaction both to the increasing demand for low-latency HTTPS connections and …

HACL* is a verified portable C cryptographic library that implements modern cryptographic
primitives such as the ChaCha20 and Salsa20 encryption algorithms, Poly1305 and HMAC …